On Counterfactual Computation
2005 ◽
pp. 251-266