1. Goguen J.J., Thatcher J., Wagner E. An initial algebra approach to the specification, correctness and implementation of abstract data types. In: Current trends in programming methodology, Vol.4, Prentice-Hall, 1978, pp.80–149.
2. Antimirov V.M., Naidich D.E., Koval V.N.: Partial functions in simulation: formal models and calculi. In: Proc. IMACS European Simulation Meeting, Esztergom, Hungary, August, 28–30, 1990, pp.143–148.
3. Dershowitz N., J.-P. Rewrite systems. In: J.van Leeuwen, ed. Handbook on Theoretical Computer Science, Vol B, Chpt. 6, Elsevier Sci. Pub. B.V., 1990, pp.244–320.
4. Ehrig H., Mahr B. Fundamentals of algebraic specification: Vol. 1, Springer-Verlag, 1985.
5. Gogolla M., Drosten K., Lipeck U.W., Ehrich H.-D. Algebraic and operational semantics of specifications allowing exceptions and errors. In: TCS 34, 1984, pp.289–313.