## 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