Logic tools for programming - Pace, Philip (Delmar, 1987)