E. Willumsen, “Source Code and Formal Analysis: A Reading of Passage”, ToDiGRA, vol. 3, no. 2, Sep. 2017.