Gunn, Hamish I. E.; Harland, David M. "Polymorphic Programming II. An Orthogonal Tagged High Level Architecture Abstract Machine"

(1984) Software — Practice and Experience 14(11) November 1984  

Languages mentioned Poly {1982} Polymorphic Programming Language