Derrett, N.; Møller, K.; Spier, M.; Bennett, M. J. Software Engineering: Tools and Methods: Proceedings of the 1978 Aarhus Workshop. DPB 1980, 9.