@BOOK{ Book!D - 89976397,
AUTHOR = " Dirk Pattinson, Lutz Schröder (eds.)",
TITLE = "Coalgebraic methods in computer science",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses",
URL = "/book/89976397/Coalgebraic-methods-in-computer-science/"}