1. H. Abelson and G. J. Sussman. Structure and Interpretation of Computer Programs The MIT Press, Cambridge, Mass., 1985.
2. L. Cardelli and P. Wegner. On Understanding, Data Abstraction and Polymorphism. ACM Computing Surveys, 17: 471–522, 1985.
3. Joseph A. Goguen et al. Introducing OBJ. Technical report, SRI International, March 1992.
4. A. Fortenbacher. Efficient type inference and coercion in computer algebra. In DISCO90 (Lecture Notes in Computer Science), pages 56–60. Springer Verlag, 1990.
5. Richard D. Jenks and Robert S. Sutor. Axiom: the scientific computation system. Springer, 1992.