Mathiassen, Lars, and Andreas Munk-Madsen. “Formalizations in Systems Development”. DAIMI Report Series 14, no. 193 (July 1, 1985). Accessed May 8, 2024. https://tidsskrift.dk/daimipb/article/view/7465.