Alan J. Demers James E. Donahue Glenn Skinner Data Types as Values: Polymorphism, Type-Checking, Encapsulation. 23-30 1978 POPL db/conf/popl/popl78.html#DemersDS78