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