Normal Form Simulation for McCarthy's Amb

Soren B. Lassen
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXI), Elsevier (2006), pp. 445-465

Abstract