A Theory of Objects (1996)

by Mart'in Abadi, Luca Cardelli