M. Bidoit, and R. Hennicker. Proceedings of the 12th International Conference on Algebraic Methodology and Software Technology (AMAST), volume 5140/2008 of Lecture Notes in Computer Science, page 216-231. Springer Verlag, (2008)
E. Dashofy, A. van der Hoek, and R. Taylor. Proceedings of the 24rd International Conference on Software Engineering, 2002. ICSE 2002, page 266--276. IEEE, (May 2002)
T. Mossakowski, A. Haxthausen, D. Sannella, and A. Tarlecki. Logics of formal specification languages, volume 22 of Monographs in Theoretical Computer Science, chapter 3, Springer-Verlag Heidelberg, (2008)
S. Autexier, D. Hutter, and T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, volume 6463 of LNCS, Springer, (2010)
L. Schröder, and T. Mossakowski. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, volume 4409 of Lecture Notes in Computer Science, page 128-142. Springer, (2007)