The Semantics of Call-by-value and Call-byname in a nondeterministic Environment (1980)

by M C B Hennessy
Venue:SIAM J. Comput