T. Mossakowski, H. Reichel, M. Roggenbach, und L. Schröder. Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, Volume 2755 von Lecture Notes in Computer Science, Seite 376--392. Springer; Berlin; http://www.springer.de, (2003)
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)