A theory of objects - Abadi, Martín 1963-; Cardelli, Luca (Springer, 1996)
Literaturverz. S. [383] - 390