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