The Semantics of Call-by-value and Call-by-name in a Non-Deterministic Environment (1980)

by M C B Hennessy
Venue:SIAM J. of Comp. 9