David B. Wortman, Richard C. Holt, James R. Cordy, David R. Crowe, Ian H. Griggs. Euclid: a language for compiling quality software. In American Federation of Information Processing Societies: 1981 National Computer Conference, 4-7 May 1981, Chicago, Illinois, USA. Volume 50 of AFIPS Conference Proceedings, pages 257-263, AFIPS Press, 1981. [doi]
Abstract is missing.