Allwein, G.; Harrison, W. L.; Andrews, D. Simulation Logic. LLP 2013, 23, 277–299.