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