Willumsen, Ea. “Source Code and Formal Analysis: A Reading of Passage”. Transactions of the Digital Games Research Association, vol. 3, no. 2, Sept. 2017, doi:10.26503/todigra.v3i2.74.