1. American National Standards Institution, ADA Reference Manual ANSI/MIL-STD 1815A, Jan. 1983.
2. A. W. Appel, “A Runtime System,” draft, Princeton Univ., Feb. 1989.
3. P. Borras, D. Clément, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang & V. Pascual, “Centaur: the System,” in ACM SIGSOFT/SIGPLAN Symp. on Practical Software Development Environments, Boston, MA, published as SIGSOFT Software Eng. Notes 13, 5 (Nov. 1988), 14–24.
4. P. Boullier & P. Deschamp, Le système SYNTAX—Manuel d'utilisation et de mise en oeuvre sous Unix, INRIA, Rocquencourt, Sept. 1988.
5. L. Cardelli, “Basic Polymorphic Typechecking,” Sci. Comput. Programming 8, 2 (Apr. 1987), 147–172.