L. Schröder, und T. Mossakowski. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Volume 4409 von Lecture Notes in Computer Science, Seite 128-142. Springer, (2007)
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)