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