n Abadi and Luca Cardelli. ATheory of Objects (1996)

by Mart