Mathiassen, Lars, and Andreas Munk-Madsen. 1985. “Formalizations in Systems Development”. DAIMI Report Series 14 (193). https://doi.org/10.7146/dpb.v14i193.7465.