The New Math of Computer Programming (Corrigendum)
CACM May, 1975
Mills, H. D.
