@BOOK{ Book!D - 90255157,
AUTHOR = " by Andreas Lochbihler.",
TITLE = "A Machine-Checked, Type-Safe Model of Java Concurrency :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "",
URL = "/book/90255157/A-MachineChecked-TypeSafe-Model-of-Java-Concurr/"}