Further Reading
- 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
Read more about this topic: Harlan Mills
Famous quotes containing the word reading:
“How many a man has dated a new era in his life from the reading of a book! The book exists for us, perchance, that will explain our miracles and reveal new ones. The at present unutterable things we may find somewhere uttered.”
—Henry David Thoreau (1817–1862)
“After reading Howitt’s account of the Australian gold-diggings one evening,... I asked myself why I might not be washing some gold daily, though it were only the finest particles,—why I might not sink a shaft down to the gold within me, and work that mine.... At any rate, I might pursue some path, however solitary and narrow and crooked, in which I could walk with love and reverence.”
—Henry David Thoreau (1817–1862)