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, W. Pawlowski, D. Sannella, и A. Tarlecki. Specification, Algebra, and Software. Essays Dedicated to Kokichi Futatsugi, том 8873 из Lecture Notes in Computer Science, стр. 66-91. (2014)