Systematic OO Programming with Axiomatic Design. - Sung-Hee Do; Nam P. Suh (Computer, 1999)