Text this: Logic in Computer Science (1987)