T. Mossakowski. Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, том 1130 из Lecture Notes in Computer Science, стр. 379--393. Springer Verlag, London, (1996)
T. Mossakowski. Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, 1993, стр. 139--146. Springer-Verlag, London, (1993)Long version appears in Theoretical Computer Science.
H. Herrlich, T. Mossakowski, и G. Strecker. Category Theory at Work, том 18 из Research and Exposition in Mathematics, стр. 137--148. Heldermann Verlag; Berlin, (1991)https://www.heldermann.de/R&E/RAE18/rae18.htm.