M. Roggenbach, L. Schröder, и T. Mossakowski. Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, том 1827 из Lecture Notes in Computer Science, стр. 146--161. Springer; Berlin; http://www.springer.de, (2000)