エドガー・ダイクストラ
IBMの研究員として、ミルズは工学と計算機科学における既存のアイデアをソフトウェア開発に応用した。この中には、オートマトン理論 、エドガー・ダイクストラ、ロバート・フロイドらによる構造化プログラミング理論、マルコフ連鎖ドリブンのソフトウェアテストなどがある。彼が提唱したソフトウェア開発工程モデルであるソフトウェアクリーンルームは、トップダウン設計と形式仕様記述を特徴とするものである。ミルズは、6冊の本と50以上の査読付き論文を執筆し、彼のアイデアを公開した。