Allwein, G., W. L. Harrison, and D. Andrews. “Simulation Logic”. Logic and Logical Philosophy, vol. 23, no. 3, Sept. 2013, pp. 277–299, doi:10.12775/LLP.2013.027.