G. Allwein, W. L. Harrison, and D. Andrews, “Simulation Logic”, LLP, vol. 23, no. 3, pp. 277–299, Sep. 2013.