Foundations of computer science - Bakker, J. W. de (Jacobus Willem de), 1939- (Mathematical Centre tracts, 1975)