T. Mossakowski, W. Pawlowski, D. Sannella, und A. Tarlecki. Specification, Algebra, and Software. Essays Dedicated to Kokichi Futatsugi, Volume 8873 von Lecture Notes in Computer Science, Seite 66-91. (2014)
T. Mossakowski, A. Tarlecki, und W. Pawlowski. Category Theory and Computer Science, 7th Int. Conf., Volume 1290 von Lecture Notes in Computer Science, Seite 177--196. Springer Verlag, London, (1997)