Topics in engineering logic.
Nadler, Morton.
Oxford, 
1962.