Carl A. Gunter

Theoretical aspects of object-oriented programming