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