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