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:
“I alternate between reading cook books and reading diet books.”
—Mason Cooley (b. 1927)
“A society person who is enthusiastic about modern painting or Truman Capote is already half a traitor to his class. It is middle-class people who, quite mistakenly, imagine that a lively pursuit of the latest in reading and painting will advance their status in the world.”
—Mary McCarthy (1912–1989)