TY  - BOOK
AU  - Kluge, W.
AU  - Salomaa, A.
AU  - Rozenberg, G.
AU  - Brauer, W.
TI  - Abstract Computing Machines: a lambda calculus perspective
SN  - 3540211462
U1  - 511.3 KLU 
PY  - 2005///
CY  - New York
PB  - Springer Verlag, Netherlands
KW  - Calculus
N1  - <p>Contents:</p>

<p>1. Algorithms and
ER  -