Willumsen, Ea. “Source Code and Formal Analysis: A Reading of Passage”. Transactions of the Digital Games Research Association 3, no. 2 (September 22, 2017). Accessed September 19, 2024. https://todigra.org/index.php/todigra/article/view/1747.