T. Mossakowski, H. Reichel, M. Roggenbach, и L. Schröder. Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, том 2755 из Lecture Notes in Computer Science, стр. 376--392. Springer; Berlin; http://www.springer.de, (2003)
L. Schröder, и T. Mossakowski. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, том 4409 из Lecture Notes in Computer Science, стр. 128-142. Springer, (2007)
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)