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)
P. James, A. Knapp, T. Mossakowski, und M. Roggenbach. Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, Volume 7841 von Lecture Notes in Computer Science, Seite 178-194. Springer, (2013)