1
Abstract Computing Machines [E-Book] : A Lambda Calculus Perspective /
Kluge, W.
2005
...Texts in Theoretical Computer Science, An EATCS Series...

Full text