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)
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, и F. Rabe. Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, том 7137 из Lecture Notes in Computer Science, стр. 118-138. Springer, (2012)
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, и F. Rabe. Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, том 6824 из Lecture Notes in Computer Science, стр. 289-291. Springer-Verlag Berlin Heidelberg, (2011)