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:
“Nothing more rapidly inclines a person to go into a monastery than reading a book on etiquette. There are so many trivial ways in which it is possible to commit some social sin.”
—Quentin Crisp (b. 1908)
“For aesthetics is the mother of ethics.... Were we to choose our leaders on the basis of their reading experience and not their political programs, there would be much less grief on earth. I believe—not empirically, alas, but only theoretically—that for someone who has read a lot of Dickens to shoot his like in the name of an idea is harder than for someone who has read no Dickens.”
—Joseph Brodsky (b. 1940)