1988] "Modest models for inheritance and explicit polymorphism (1990)

by K Bruce, G Longo
Venue:Proceedings of L. I. C. S. '88, Edinburgh (revised version : Info&Comp