Lambda calculi : a guide for computer scientists - Hankin, Chris, 1954- (Graduate texts in computer science, 1994)