The Harlan D. Mills Collection
This online collection of approximately 500 items is derived from materials in the personal files of Dr. Harlan D. Mills as well as curriculum materials used world-wide by students, teachers, industry and scholars in software engineering during and since his lifetime. 
Based upon a hardcopy of a bibliography compiled of publications by Dr. Mills for the period 1952-1984, nearly 400 unpublished citations are included in order to represent his intellectual effort as fully as possible. In some cases we have had, or been able to find, full text of the unpublished items; we will be grateful if anyone among his colleagues and students can help to secure additional unpublished items or advise whether they are wholly contained in published items.
We have compiled this comprehensive, centralized, fair-use collection for study. Its primary aims are to preserve the materials and share intellectual content. Most of the publications are now out of print or difficult for most students, academic researchers, and professionals to obtain in a timely fashion. If known, we have noted additional authors and other copyright or repository sources where users may purchase copies.
This collection is in beta phase. Additional clean-up and cataloguing is in progress. Please advise Dr. Jesse Poore of any problems or errors encountered. Thank you for your contribution to the Harland D. Mills Collection of the Science Alliance at the University of Tennessee.
Submissions from 1976
Mathematical Foundations for the Semantics of Data Processing, Harlan D. Mills
Organization and Rigor in IBM Softare Development, Harlan D. Mills
Proteus Considerations, Harlan D. Mills
Software Methodology- Promising Directions, Harlan D. Mills
System Development Standards, Harlan D. Mills
Systems/Software Engineering Note-- The Difference Between Design and Detailing, Harlan D. Mills
Whiledo Equation and Its Solutions, The, Harlan D. Mills
Submissions from 1975
Contracting Principles for Software, Harlan D. Mills
Definitional Text in Structured Programming, Harlan D. Mills
Design to Cost Programming, Harlan D. Mills
Hearts, Harlan D. Mills
How to Solve the Programming Estimation Problem by Design to Cost Methodology, Harlan D. Mills
Information Automat in a Large Data Processing Complex, The, Harlan D. Mills
Mirrors, Harlan D. Mills
New Math of Computer Programming, Harlan D. Mills
Procedure Definitions in the IA: A College of Examples, Harlan D. Mills
Stepwise Process Decomposition, Harlan D. Mills
Submissions from 1974
Binary Bracket, Harlan D. Mills
Bracket Search Problem, Harlan D. Mills
Elevators, Harlan D. Mills
Functions, Harlan D. Mills
Hopkins Programming Assignments, Harlan D. Mills
How to Buy Quality Software, Harlan D. Mills
How to Buy Quality Software Systems, Harlan D. Mills
IBM Information Automat, The, Harlan D. Mills
Mathematical Preliminaries, Harlan D. Mills
Mathematics of Structured Programming, The, Harlan D. Mills
Navy AADC Operating System, Harlan D. Mills
Program Definition Language, Harlan D. Mills
Proving Arbitrary Programs Correct by Direct Arguments, Harlan D. Mills
Proving the Correctness by Direct Arguments, Harlan D. Mills
Societal Control Systems, Harlan D. Mills
Stepwise Reorganization, Harlan D. Mills
Structured Programming (a course), Harlan D. Mills
Structured Programming- Elements of Logical Expression, Harlan D. Mills
Structured Programming- Problems and Solutions Using Program Definition Language, Harlan D. Mills
Vector State Machines, Harlan D. Mills
Submissions from 1973
Business Case for the IBM Information Automat, A, Harlan D. Mills
Correctness Illustrations- Samples of Correctness Proofs, Harlan D. Mills
Correctness Illustrations- Samples of Correctness Proofs, Harlan D. Mills
Digital Number Systems- Problems and Standards, Harlan D. Mills
Information Automat, An , Harlan D. Mills
Learning to Program Computers, Harlan D. Mills
Managing and Motivating Programming Personnel, Harlan D. Mills
Marketing Policy- The New Technology in Programming, Harlan D. Mills
Professional Evaluation and Promotion, Harlan D. Mills
Professional Programming Teams, Harlan D. Mills
Terminology for Programming Teams, Personnel and Techniques, Harlan D. Mills
Ultrareliable Programs- Procurement and Delivery, Harlan D. Mills
Submissions from 1972
Algorithms in Character Recognition Systems, Harlan D. Mills
Character Recognition- Necessary Problems in the End Game, Harlan D. Mills
Character Recognition- The End Game, Harlan D. Mills
Complexity of Programs, On the, Harlan D. Mills
Complexity of Programs, The, Harlan D. Mills
ECCO Could Mean to IBM, What, Harlan D. Mills
ECCO- Evolutionary Command/Control Operations, Harlan D. Mills
For Want of a Nail- The Case for FAD as a National Asset, Harlan D. Mills
How to Write Correct Programs and Know It, Harlan D. Mills
Importance of Management Commitment to Top Down Programming, On the, Harlan D. Mills
Indexed Data Structured, Harlan D. Mills
Linear Programming Development, Note on, Harlan D. Mills
Mathematical Foundations for Structured Programming, Harlan D. Mills
Problem of Cheating in Bridge, The, Harlan D. Mills
Program Correctness Illustrations, Harlan D. Mills
Psychology of Quality, The SDD Programming Symposium Panel, Harlan D. Mills
Recognition Complexity in Address Classification, Harlan D. Mills
Round Off Errors in Legendre Polynomials, A Note on, Harlan D. Mills
Structure of a Computing Profession, On the, Harlan D. Mills
Ultrareliable Programming, Harlan D. Mills
What is a Program, Harlan D. Mills
Why Top Down Programming, Harlan D. Mills
Submissions from 1971
Future of Scientific Computation, On the, Harlan D. Mills
How to Measure Football Offense and Defense- 'Blaise Pascal', Harlan D. Mills
IBM Chief Programmer Team, The, Harlan D. Mills
IRAD Portfolios, On, Harlan D. Mills
JCL Programming Assignment, Harlan D. Mills
Program Correctness, Notes on, Harlan D. Mills
Program Documentation, On, Harlan D. Mills
Round Off Errors in Legendre Polynomials, Harlan D. Mills
Structured Programming in IBM, Harlan D. Mills
Structured Programming in University Education, Harlan D. Mills
Systems- Their Analysis and Development, Harlan D. Mills
Theory of Relativity as an Undergraduate Philosophy Course, Harlan D. Mills
Submissions from 1970
Player Win Averages: A Complete Guide to Winning Baseball Players, Eldon G. Mills and Harlan D. Mills
Application of Formal Grammar to the New York Times Thesaurus, An, Harlan D. Mills
Asynchronous System Design, Harlan D. Mills
Block-Structured Assembly Language, Harlan D. Mills
Code Certification Experiment , Harlan D. Mills
Estimating Programming Complexity, Harlan D. Mills
Fixed Price Contracting Principles for Chief Programmer Teams, Harlan D. Mills
General Bulk Mail Network, A, Harlan D. Mills
Heuristics for the Post Office Network Problem, Harlan D. Mills
Incentive Compensation for Direct Labor, Harlan D. Mills
Land Distance Calculations, Harlan D. Mills
Making the Right Contract' and 'Making the Contract Right', On, Harlan D. Mills
Measurement in Business Operations, Harlan D. Mills
NFL Scheduling Program, The , Harlan D. Mills
On the Measurement of Fund Performance, Harlan D. Mills
OS/360 Programming, Harlan D. Mills
Program Correctness- Theoretical Background, Harlan D. Mills