Functional programming & lambda calculus [ - Ricci, Raven; Bell, Alia (College Publishing House, 2012)