Call-by-Value Combinatory Logic and the Lambda-Value Calculus. - John Gateley; Bruce F. Duba (MFPS, 1991)