@inproceedings{DiGRA-FDG-2016-Willumsen,
	author        = "Ea Christina Willumsen",
	booktitle     = "{Proceedings of the First Joint International Conference of Digital Games Research Association and Foundation of Digital Games}",
	ee            = "http://www.digra.org/digital-library/publications/source-code-and-formal-analysis-a-hermeneutic-reading-of-passage/",
	publisher     = "{Digital Games Research Association/Society for the Advancement of the Science of Digital Games}",
	title         = "{Source Code and Formal Analysis: A Hermeneutic Reading of Passage}",
	year          = 2016,
}