Syntax-directed documentation for PL360. - Harlan D. Mills (Commun. ACM, 1970)

On the structure of a computing profession. - Harlan D. Mills (SIGCSE, 1973)

A Kernel System for information system development, evolution, and operation. - Harlan D. Mills; Max L. Wilson 002 (SIGPLAN-SIGOPS Interface Meeting, 1973)

A SIMPL distributed operating system and its formal definition. - Robert E. Noonan; Victor R. Basili; Richard G. Hamlet; M. Lay; Harlan D. Mills; Albert J. Turner; Marvin V. Zelkowitz (SIGPLAN-SIGOPS Interface Meeting, 1973)

On the Development of Systems of Men and Machines. - Harlan D. Mills (Programming Methodology, 1974)

How to write correct programs and know it. - Harlan D. Mills (Reliable Software, 1975)

The New Math of Computer Programming. - Harlan D. Mills (Commun. ACM, 1975)

Software Development (Abstract). - Harlan D. Mills (ICSE, 1976)

Software Development. - Harlan D. Mills (IEEE Trans. Software Eng., 1976)

Structured programming - theory and practice. - Richard C. Linger; Harlan D. Mills; Bernard I. Witt (Addison-Wesley, 1979)

Function Semantics for Sequential Programs. - Harlan D. Mills (IFIP Congress, 1980)

The Management of Software Engineering. Part I: Principles of Software Engineering. - Harlan D. Mills (IBM Syst. J., 1980)

Understanding and Documenting Programs. - Victor R. Basili; Harlan D. Mills (IEEE Trans. Software Eng., 1982)

Teaching formal methods for program development and verification (Panel Session). - Susan L. Gerhart; Eric C. R. Hehner; Harlan D. Mills; A. Joe Turner (SIGCSE, 1983)

Functional Semantics of Modules. - John D. Gannon; Richard G. Hamlet; Harlan D. Mills (TAPSOFT, Vol.2, 1985)

Structured Programming: Retrospect and Prospect. - Harlan D. Mills (IEEE Softw., 1986)

Certifying the Reliability of Software. - P. Allen Currit; Michael G. Dyer; Harlan D. Mills (IEEE Trans. Software Eng., 1986)

Data Structured Programming: Program Design without Arrays and Pointers. - Harlan D. Mills; Richard C. Linger (IEEE Trans. Software Eng., 1986)

Teaching principles of computer programming. - Harlan D. Mills; Victor R. Basili; John D. Gannon; Richard G. Hamlet (ACM Conference on Computer Science, 1987)

Box Structured Information Systems. - Harlan D. Mills; Richard C. Linger; Alan R. Hevner (IBM Syst. J., 1987)

Cleanroom Software Engineering. - Harlan D. Mills; Michael G. Dyer; Richard C. Linger (IEEE Softw., 1987)

Theory of Modules. - John D. Gannon; Richard G. Hamlet; Harlan D. Mills (IEEE Trans. Software Eng., 1987)

A case study in cleanroom software engineering: the IBM COBOL Structuring Facility. - Richard C. Linger; Harlan D. Mills (COMPSAC, 1988)

Software engineering-retrospect and prospect. - Harlan D. Mills (COMPSAC, 1988)

Strategic Imperatives in Software Engineering Education. - Harlan D. Mills (CSEE, 1988)

Stepwise Refinement and Verification in Box-Structured Systems. - Harlan D. Mills (Computer, 1988)

Position Statement - Foundations of Software Engineering. - Harlan D. Mills (IFIP Congress, 1989)

Mathematical Principles for a First Course in Software Engineering. - Harlan D. Mills; Victor R. Basili; John D. Gannon; Richard G. Hamlet (IEEE Trans. Software Eng., 1989)

An Undergraduate Curriculum in Software Engineering. - Harlan D. Mills; J. R. Newman; Charles B. Engle Jr. (CSEE, 1990)

Ada systems. - Harlan D. Mills (TRI-Ada, 1990)

Engineering Software under Statistical Quality Control. - Richard H. Cobb; Harlan D. Mills (IEEE Softw., 1990)

Using Metrics to Quantify Development - Guest Editors' Introduction. - Harlan D. Mills; Peter B. Dyson (IEEE Softw., 1990)

Zero Defect Software: Cleanroom Engineering. - Harlan D. Mills (Adv. Comput., 1993)

Box-Structured Methods for Systems Development with Objects. - Alan R. Hevner; Harlan D. Mills (IBM Syst. J., 1993)

Planning and Certifying Software System Reliability. - Jesse H. Poore; Harlan D. Mills; David Mutchler (IEEE Softw., 1993)

Box-structured requirements determination methods. - Alan R. Hevner; Harlan D. Mills (Decis. Support Syst., 1995)