Notes on typed object-oriented programming (1994)

by K Fisher, J C Mitchell
Venue:Proc. Theoretical Aspects of Computer Software