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)
C. Olds, A. Lax, и G. Davidoff. Anneli Lax New Mathematical Library Mathematical Association of America, Washington, DC, (2000)Appendix I by Peter D. Lax.