David Gries Narain H. Gehani Some Ideas on Data Types in High-Level Languages. 414-420 1977 20 Commun. ACM 6 db/journals/cacm/cacm20.html#GriesG77 http://doi.acm.org/10.1145/359605.359624