Baby Modula-3 and a theory of objects. Research Report 95 (1993)

by Mart'in Abadi
Venue:Digital Equipment Corporation, Systems Research