T. Mossakowski, O. Kutz, и 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, и C. Maeder. CALCO 2013, том 8089 из Lecture Notes in Computer Science, стр. 315--321. Springer-Verlag Berlin Heidelberg, (2013)
M. Codescu, F. Horozal, A. Jakubauskas, T. Mossakowski, и F. Rabe. Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, том 7841 из Lecture Notes in Computer Science, стр. 111-126. Springer, (2013)
D. García, T. Mossakowski, и N. Szasz. 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings, том 8941 из Lecture Notes in Computer Science, стр. 64-79. (2015)