Willumsen, E. Source Code and Formal Analysis: A Reading of Passage. ToDiGRA 2017, 3.