A Theory of Objects (1996)

by Luca Cardelli, Martín Abadi