Harlan D. Mills The New Math of Computer Programming. 43-48 1975 18 Commun. ACM 1 db/journals/cacm/cacm18.html#Mills75