@BOOK{ Book!D - 90036959,
AUTHOR = " John Derrick, Eerke A. Boiten",
TITLE = "Refinement in Z and Object-Z :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Object-oriented programming (Computer science),Z (Computer program language)",
URL = "/book/90036959/Refinement-in-Z-and-ObjectZ/"}