T. Mossakowski. Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, том 1827 из Lecture Notes in Computer Science, Springer Verlag, London, (2000)
P. James, A. Knapp, T. Mossakowski, и M. Roggenbach. Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, том 7841 из Lecture Notes in Computer Science, стр. 178-194. Springer, (2013)