Logic for the Computer Sciences 
CACM April, 1964
Korfhage, R. R.
