@BOOK{ Book!D - 90097867,
AUTHOR = " Ralph-Johan Back, Joakim von Wright.",
TITLE = "Refinement calculus :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Calcul infinitésimal.,Logique informatique.,Programmation (Informatique)",
URL = "/book/90097867/Refinement-calculus/"}