1. D.C.J. Matthews, Cambridge, early 80's. Polymorphic, block-structured.
"An Overview of the Poly Programming Language", D.C.J. Matthews <djcm@cl.cam.ac.uk>, in Data Types and Persistence, M.P. Atkinson et al eds, Springer 1988.
2. St Andrews U, Scotland. Software Prac & Exp, Oct 1986.
3. Polymorphic language used in Polymorphic Programming Languages, David M. Harland, Ellis Horwood 1984.