[ASS96] Harold Abelson, Gerald Jay Sussman, and Julie Sussman. The Structure and Interpretation of Computer Programs, 2nd edition. MIT Press, Cambridge,Massachusetts, 1996.
[Mil78] Robin Milner. A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, 17:348-375, Dec 1978. Journal of Computer and System Sciences, 17:348-375, Dec 1978.