1. J.A. Bergstra, J. Heering, and P. Klint, eds. Algebraic Specification. ACM Press in cooperation with Addison Wesley, 1989.
2. R.M. Burstall and P.J. Landin. Programs and their proofs: an algebraic approach. In Machine Intelligence, Volume 4, pp. 17–43. Edinburgh University Press, 1969.
3. N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, ed., Handbook of Theoretical Computer Science, Volume B, pp. 243–320. Elsevier, 1990.
4. H. Ehrig, H.-J. Kreowski, and P. Padawitz. Stepwise specification and implementation of abstract data types. In Proceedings ICALP'78, LNCS 62, pp. 205–226. Springer, 1978.
5. W.J. Fokkink and J.C. van de Pol. Correct transformation of rewrite systems for implementation purposes. Logic Group Preprint Series 164, Utrecht University, 1996. Available at http://www.phil.ruu.nl.