Logic models of design
Coyne, Richard.
Pitman
1988
Electronic data processing.
System analysis.