The New Math of Computer Programming. - Mills, Harlan D. (Communications of the ACM, 1975)