A. Ingólfsdóttir, “Weak Semantics Based on Lighted Button Pressing Experiments. An Alternative Characterization of the Readiness Semantics”, BRICS, vol. 3, no. 43, Jun. 1996.