[Bothner88] Per Bothner, Efficiently Combining Logical Contraints with Functions, 1988.

[Budd91Arith] Timothy Budd, Generalized arithmetic in C++, 11-22, February 1996.

[CommonLisp2] Guy L. Steele Jr., Common Lisp -- The Language, 1990.

[DSSSL] International Standards Organization, Document Style Semantics and Specification Language, 1996.

[ECMAScript] ECMA, ECMAScript Language Specification.

[GccJava] Per Bothner, A Gcc-based Java Implementation, 174-178, February 1997.

[gmp] Torbjörn Granlund, The GNU Multiple Precision Arithmetic Library, 1996.

[Ingalls86] Daniel Ingalls, A Simple Technique for Handling Multiple Polymorphism, 347-349, November 1986.

[JavaSpec] James Gosling, Bill Joy, and Guy Steele, The Java Language Specification, Addison-Wesley, 1996.

[JavaVMSpec] Tim Lindholm and Frank Yellin, The Java Virtual Machine Specification, Addison-Wesley, 1996.

[Kaffe] Tim Wilkinson, Kaffe - a free virtual machine to run Java code.

[Kawa] Per Bothner, Kawa, the Java-based Scheme System.

[Miller87] James Miller, MultiScheme: A Parallel Processing System based on MIT Scheme, 1987.

[MLtoC] David Tarditi, Peter Lee, and Anurag Acharya, No Assembly Required: Compiling Standard ML to C, 1992, 161-177.

[R5RS] Revised^5 Report on the Algorithmic Language Scheme, Richard Kelsey, William Clinger, and Jonathan Rees (editors), 1998.

[RScheme] Donovan Kolbly, Paul Wilson, and others.

[SGML] International Standards Organization, SGML (Standard Generalized Markup Language) ISO 8879.