Euclid: a language for compiling quality software. - David B. Wortman; Richard C. Holt; James R. Cordy; David R. Crowe; Ian H. Griggs (AFIPS National Computer Conference, 1981)