An Introduction to functional programming through lambda calculus by Michaelson, Greg fromInternational computer science series 0 Type: Book
