The Treatment of Data Types in EL1 (1974)

by Ben Wegbreit
Venue:Communications of the ACM