Call-by-Value and Non-Determinism", LNCS 664 (1993)

by K Sieber