N. Derrett, K. Møller, M. Spier, and M. J. Bennett, “Software Engineering: Tools and Methods: Proceedings of the 1978 Aarhus Workshop”, DPB, vol. 9, no. 125, Aug. 1980.