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.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)SpringerLink (Online service), Lutz Schröder, و 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 (الطبعة الثامنة)SpringerLink (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.