Mathiassen, L.; Munk-Madsen, A. Formalizations in Systems Development. DPB 1985, 14.