Derrett, N., Møller, K., Spier, M. and Bennett, M. J. (1980) “Software Engineering: Tools and Methods: Proceedings of the 1978 Aarhus Workshop”, DAIMI Report Series, 9(125). doi: 10.7146/dpb.v9i125.7656.