Lambda calculi : a guide for computer scientists /
Hankin, Chris.
Oxford : Oxford University Press,
1994.