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