T. Mossakowski, O. Kutz, and M. Codescu. Proc. of the Theory Day in Computer Science (DACS-2014), satellite workshop of ICTAC-2014, University of Bucharest, September 15-16, 2014, (2014)
M. Codescu, T. Mossakowski, and C. Maeder. CALCO 2013, volume 8089 of Lecture Notes in Computer Science, page 315--321. Springer-Verlag Berlin Heidelberg, (2013)
M. Codescu, F. Horozal, A. Jakubauskas, T. Mossakowski, and F. Rabe. Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, volume 7841 of Lecture Notes in Computer Science, page 111-126. Springer, (2013)
D. García, T. Mossakowski, and N. Szasz. 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings, volume 8941 of Lecture Notes in Computer Science, page 64-79. (2015)