Séquentialité de l’evaluation formelle des λ-expressions”, Automata, languages and programming (3 (1978)

by G Berry