John L. Hennessy Hilding Elmquist The Design and Implementation of Parametric Types in Pascal. 169-184 1982 12 Softw., Pract. Exper. 2 db/journals/spe/spe12.html#HennessyE82