Harland, David M. and Gunn, Hamish I. E. "Polymorphic Programming I. Another Language Designed on Semantic Principles"

(1984) Software — Practice and Experience 14(10) October 1984  

Languages mentioned Poly {1982} Polymorphic Programming Language