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:
“A reading machine, always wound up and going,
He mastered whatever was not worth the knowing.”
—James Russell Lowell (1819–1891)
“Could a greater miracle take place than for us to look through each other’s eyes for an instant? We should live in all the ages of the world in an hour; ay, in all the worlds of the ages. History, Poetry, Mythology!—I know of no reading of another’s experience so startling and informing as this would be.”
—Henry David Thoreau (1817–1862)