"Object-Oriented Software Construction"@cs .