An introduction to functional programming through Lambda calculus - Michaelson, Greg, 1953- (Dover books on mathematics, 2011)