Foundation course in computer science - Higman, Bryan (New York Elsevier, 1975)