An introduction to lamba calculi for computer scientists - Hankin, Chris, 1954- ,