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