SpringerLink (Online service), Schröder, L., & Pattinson, D. (2012). Coalgebraic methods in computer science: 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, revised selected papers. Imprint: Springer.
Chicago Style aipamenaSpringerLink (Online service), Lutz Schröder, and Dirk Pattinson. Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers. Berlin, Heidelberg: Imprint: Springer, 2012.
MLA aipamenaSpringerLink (Online service), et al. Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers. Imprint: Springer, 2012.