Søren B. Lassen: Normal Form Simulation for McCarthy's Amb. MFPS 2005: 445-465