Sung-Hee Do, Nam P. Suh: Systematic OO Programming with Axiomatic Design. Computer 32(10): 121-124 (1999)