ハーラン・ミルズ
ミルズは、プログラム委員会のメンバーであり、多くの専門的な会議に講演者を招き、多くの数学および計算機科学の論文誌の査読者を務めた。1980年から83年まで、IEEE Computer Societyの理事を務めた。1981年、EEE Fall CompConの議長を務めた。1975年から1981年まで、IEEE Transactions on Software Engineeringの編集者を務めた。1977年、情報処理国際連合(IFIP)会合で米国のソフトウェア代表を務めた。1975年、第1回ソフトウェア工学全米会議の議長を務めた。
Linger and Witt (1979), Structured Programming: Theory and Practice, presents Mills' function-theoretic approach to program verification
Software Productivity (1983), includes a collection of his seminal papers on chief programmer teams, top-down design, structured programming, program correctness, and other fundamental ideas in software engineering
Linger and Hevner (1986), Principles of Information System Analysis and Design, includes Mills' reduction of the mathematics of specification and design to practice