Foundation course in computer science - Higman, Bryan (Macdonald and Jane's, 1975)