Polymorphic Programming Languages : Design and Implementation - Harland, David M. (Ellis Horwood, 1984)