@BOOK{ Book!D - 90026599,
AUTHOR = " Eric C.R. Hehner",
TITLE = "A practical theory of programming /",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer programming",
URL = "/book/90026599/A-practical-theory-of-programming/"}