Mathiassen, L., & Munk-Madsen, A. (1985). Formalizations in Systems Development. DAIMI Report Series, 14(193). https://doi.org/10.7146/dpb.v14i193.7465