1. Apple Computer: "Inside Macintosh".
2. L.Cardelli: "The Functional Abstract Machine", AT&T Bell Laboratories Technical Report TR-107, 1983. Also in "Polymorphism, the ML/LCF/Hope Newsletter", vol I, no. 1, 1983.
3. L.Cardelli: "Amber", AT&T Bell Laboratories Technical Memorandum, 11271-840924-10TM, 1984.
4. G.Cousineau, P-L.Curien, M.Mauny: "The Categorical Abstract Machine", to appear.
5. P.J. Landin: "The Mechanical Evaluation of Expressions", Computer Journal, Vol 6, No. 4, 1964, pp. 308–320.