A Theory of Primitive Objects: Untyped and First-Order Systems (1994)

by M Abadi, L Cardelli
Venue:Proc. Theoretical Aspects of Computer Software