Theoretical Aspects of Object-Oriented Programming door Carl A. Gunter