L. Mathiassen and A. Munk-Madsen, “Formalizations in Systems Development”, DPB, vol. 14, no. 193, Jul. 1985.