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