The Semantics of Call-by-Value and Call-by-Name in a Nondeterministic Environment (1980)

by M C B Hennessy
Venue:SIAM J. Comput