A Theory of Objects (1996)

by Luca Cardelli