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