L. Schröder, и T. Mossakowski. Journal of Logic and Computation, 14 (4):
571--619(2004)Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441.
T. Mossakowski, P. Hoffman, S. Autexier, и D. Hutter. CASL Reference Manual, том 2960 из Lecture Notes in Computer Science, глава ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)
T. Mossakowski, W. Pawlowski, D. Sannella, и A. Tarlecki. Specification, Algebra, and Software. Essays Dedicated to Kokichi Futatsugi, том 8873 из Lecture Notes in Computer Science, стр. 66-91. (2014)
T. Mossakowski, H. Reichel, M. Roggenbach, и L. Schröder. Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, том 2755 из Lecture Notes in Computer Science, стр. 376--392. Springer; Berlin; http://www.springer.de, (2003)
T. Mossakowski, A. Tarlecki, и W. Pawlowski. Category Theory and Computer Science, 7th Int. Conf., том 1290 из Lecture Notes in Computer Science, стр. 177--196. Springer Verlag, London, (1997)
T. Mossakowski, L. Schröder, и S. Goncharov. Fundamental Approaches to Software Engineering (FASE 2008), том 4961 из Lecture Notes in Computer Science, стр. 199-214. Springer, (2008)
S. Goncharov, L. Schröder, и T. Mossakowski. Mathematical Foundations of Computer Science, том 4162 из Lecture Notes in Computer Science, стр. 447-458. Springer; Berlin; http://www.springer.de, (2006)
T. Mossakowski. Recent Trends in Data Type Specification. Proceedings, том 906 из Lecture Notes in Computer Science, стр. 389--405. Springer Verlag, London, (1995)