@BOOK{ Book!D - 89989401,
AUTHOR = " Elsevier.",
TITLE = "Computer Programming and Formal Systems",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "",
URL = "/book/89989401/Computer-Programming-and-Formal-Systems/"}