de Vries. In lambda calculus. Theoretical Computer Science (1997)

by J R Kennaway, J W Klop, M R Sleep, F J