1. Abdali, S. K., Cherry, G. W., Soiffer, N. (1986): An object oriented approach to algebra system design. In: Char, B. W. (ed.): Proceedings ACM Symposium on Symbolic and Algebraic Computation, Symsac’ 86, July 21–23, 1986, Waterloo, Ontario. Association for Computing Machinery, New York, pp. 24–30.
2. Agrawal, R., DeMichiel, L. G., Lindsay, B. G. (1991): Static type checking of multimethods. In: Paepke, A. (ed.): Proceedings ACM Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA’ 91, Phoenix, Arizona, Oct. 6–11, 1991. Association for Computing Machinery, New York, pp. 113–128.
3. Baumgartner, G., Stansifer, R. (1990): A proposal to study type systems for computer algebra. Tech. Rep. 90-87.0, RISC Linz, Johannes Kepler University, Linz.
4. Bobrow, D. G., DeMichiel, L. G., Gabriel, P., Keene, S. E., Kiczales, G., Moon, D. A. (1988): Common Lisp object system specification, X3JI3 doc. 88-002R, ANSI Common Lisp Standard Committee (also in SIGPLAN Not. 23/9).
5. Bruce, K. B. (1993): Safe type checking in a statically-typed object-oriented programming language. In: Proceedings Symposium on Principles of Programming Languages, Charleston, South Carolina, Jan. 10–13, 1993. Association for Computing Machinery, New York, pp. 285–298.