1. J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright, ?Initial Algebra Semantics and Continuous Algebras,?JACM 24(1):68?95 (1977).
2. J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright, ?Abstract Data Types as Initial Algebras and Correctness of Data Representations,?Conference on Computer Graphics, Pattern Recognition, and Data Structures, Los Angeles, California (1975).
3. J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright, private communication.
4. R. M. Burstall, ?An Algebraic Description of Programs with Assertions, Verification and Simulation,?Proceedings of an ACM Conference on Proving Assertions About Programs, New Mexico (1972).
5. P. M. Cohn,Universal Algebra (Harper and Row, New York, 1965).