A modest model of records, inheritance and bounded quantification (1990)

by K Bruce, G Longo
Venue:Information and Computation