@BOOK{ Book!D - 90113118,
AUTHOR = " edited by David Harel.",
TITLE = "First-Order Dynamic Logic",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer Science,Computer Science, general,Computer science.",
URL = "/book/90113118/FirstOrder-Dynamic-Logic/"}