@BOOK{ Book!D - 101076111,
AUTHOR = "/ edited by Kenneth J. Turner",
TITLE = "Using formal description techniques ",
LIBRARY= "کتابخانه دانشکدگان فنی 1 دانشگاه تهران",
SUBJECT = "Electronic digital computers - Programming,Formal languages",
URL = "/book/101076111/Using-formal-description-techniques/"}