COMPUTATIONAL LOGIC - BOYER,ROBERT S, MOORE,J STROTHER (AP NEW YORK, 1979)