Books
- O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare (1972). Structured Programming. Academic Press. ISBN 0-12-200550-3. OCLC 23937947.
- C. A. R. Hoare (1985). Communicating Sequential Processes. (available online at http://www.usingcsp.com/ in PDF format). Prentice Hall International Series in Computer Science. ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback.
- C. A. R. Hoare and M. J. C. Gordon (1992). Mechanised Reasoning and Hardware Design. Prentice Hall International Series in Computer Science. ISBN 0-13-572405-8. OCLC 25712842.
- C. A. R. Hoare and He Jifeng (1998). Unifying Theories of Programming. Prentice Hall International Series in Computer Science. ISBN 0-13-458761-8. OCLC 38199961.
Read more about this topic: Tony Hoare
Famous quotes containing the word books:
“Most books belong to the house and street only, and in the fields their leaves feel very thin. They are bare and obvious, and have no halo nor haze about them. Nature lies far and fair behind them all. But this, as it proceeds from, so it addresses, what is deepest and most abiding in man. It belongs to the noontide of the day, the midsummer of the year, and after the snows have melted, and the waters evaporated in the spring, still its truth speaks freshly to our experience.”
—Henry David Thoreau (18171862)
“An author who speaks about his own books is almost as bad as a mother who talks about her own children.”
—Benjamin Disraeli (18041881)
“... the subjective viewpoint is the only one to use regarding a library. Your true library is a collection of the books you want. You may have deplorably poor taste or bad judgment. Never mind. Correct those traits before you exchange your books.”
—Carolyn Wells (18621942)