"These are the lecture notes accompanying the course Introduction to Functional
Programming, which I taught at Cambridge University in the academic year 1996/1997."
"This is a textbook for a first computer science course for students majoring in computer science, as well as mathematics and the physical and social sciences"