S. Bødker and J. Hammerskov, “ISAC: A Case Study of Systems Description Tools”, DPB, vol. 13, no. 172, Apr. 1984.