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