1. Antoy S., P. Forcheri, and M.T. Molfino, “Specification-based Code Generation”, 23rd Hawaii Int'l Conf. on System Sciences, Kona, Hawaii, Jan. 3–5, 1990, 165–173.
2. Bergstra J.A., J. Heering, and P. Klint, (eds.) Algebraic Specifications, Addison-Wesley, Wokingham, England, 1989.
3. Burstall L., “Proving Properties of Programs by Structural Induction”, Computer Journal, 21-1, 1969, 41–48.
4. Dershowitz N., “Termination”, Proc. Rewriting Techniques and Applications, Dijon, France, Springer-Verlag, May 1985, 180–223.
5. Ehrig M. and B. Mahr, Fundamentals of Algebraic Specification 1, Springer-Verlag, Berlin, 1985.