should not evaluate its arguments (1976)

by CONS
Venue:in Automata, Languages and Programming