Kaes, Stefan (March 1988). "Parametric overloading in polymorphic programming languages". Proceedings 2nd European Symposium on Programming Languages. doi:10.1007/3-540-19027-9_9.
Appel, A.W.; MacQueen, D.B. (1991). "Standard ML of New Jersey". In Maluszyński, J.; Wirsing, M. (eds.). Programming Language Implementation and Logic Programming. PLILP 1991. Lecture Notes in Computer Science. Vol. 528. Springer. pp. 1–13. CiteSeerX10.1.1.55.9444. doi:10.1007/3-540-54444-5_83. ISBN3-540-54444-5.
Appel, A.W.; MacQueen, D.B. (1991). "Standard ML of New Jersey". In Maluszyński, J.; Wirsing, M. (eds.). Programming Language Implementation and Logic Programming. PLILP 1991. Lecture Notes in Computer Science. Vol. 528. Springer. pp. 1–13. CiteSeerX10.1.1.55.9444. doi:10.1007/3-540-54444-5_83. ISBN3-540-54444-5.