Author: Harlan D. Mills
Publications
Publication period start: 1975
Publications
Mills, Harlan D. (1988): Stepwise Refinement and Verification in Box-Structured Systems. In IEEE Computer, 21 (6) pp. 23-36.
Mills, Harlan D. (1975): The New Math of Computer Programming. In Communications of the ACM, 18 (1) pp. 43-48.