"Programming methodologies: Their objectives and their nature", pp. 203-216, in Bates, D. (ed.),
Structured Programming: International State of the Art Report, Great Britain, Infotech International, 1976.
207 ;;Quote: if a large program is to be correct then the probability that a module is correct must be indistinguishable from 1