1. Mills, H. D.How to write correct programs and know it (Report No. FSC 73-5008). Gaithersburg, Md: IBM Federal Systems Division, 1973.
2. Mills, H. D.Mathematical foundations for structured programming (Report No. FSC 72-6012). Gaithersburg, Md: IBM Federal Systems Division, 1972.