The New Math of Computer Programming (Corrigendum) CACM May, 1975 Mills, H. D. CA750512 JB January 9, 1978 2:20 PM 2755 5 2755 2755 5 2755 2755 5 2755