S. Autexier, D. Hutter, und T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, Volume 6463 von LNCS, Springer, (2010)
M. Codescu, und T. Mossakowski. Algebra and Coalgebra in Computer Science, CALCO'11, Volume 6859 von Lecture Notes in Computer Science, Seite 145-160. Springer, (2011)