Foundation course in computer science - Higman, Bryan (rz1, 1975)