WILLUMSEN, Ea. Source Code and Formal Analysis: A Reading of Passage. Transactions of the Digital Games Research Association, [S. l.], v. 3, n. 2, 2017. DOI: 10.26503/todigra.v3i2.74. Disponível em: https://todigra.org/index.php/todigra/article/view/1747. Acesso em: 4 dec. 2024.