Yet Yet Another Counterexample for +SP (1994)

by P-L Curien, T Hardin
Venue:Journal of Functional Programming