T. Mossakowski, H. Reichel, M. Roggenbach, and L. Schröder. Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, volume 2755 of Lecture Notes in Computer Science, page 376--392. Springer; Berlin; http://www.springer.de, (2003)