Logic models of design - Coyne, R. D. (Richard D.) (Pitman, 1988)