1. Abelson, H., Sussman, G.J.: Structure and Interpretation of Computer Programs. The MIT Press (1984) ISBN 0-262-01077-1
2. Muchnick, S.: Advanced Compiler Design and Implementation, 1st edn. Morgan Kaufmann (1997)
3. Pierce, B.C.: Types and programming languages, pp. 1–632. MIT Press (2002)
4. Cook, W.R., Hill, W.L., Canning, P.S.: Inheritance is Not Subtyping. In: POPL (1990)
5. Pierce, B.C., Turner, D.N.: Simple Type-Theoretic Foundations for Object-Oriented Programming. J. Funct. Program., 207–247 (1994)