The Design and Implementation of Parametric Types in Pascal. - John L. Hennessy; Hilding Elmquist (Softw. Pract. Exp., 1982)