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:
“Any reading not of a vicious species must be a good substitute for the amusements too apt to fill up the leisure of the labouring classes.”
—James Madison (1751–1836)
“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)