Object-Oriented Software Engineering - George Wilkie (Addison-Wesley New York, 1993)