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:
“Only in books the flat and final happens,
Only in dreams we meet and interlock....”
—Philip Larkin (1922–1986)
“The novel is the one bright book of life. Books are not life. They are only tremulations on the ether. But the novel as a tremulation can make the whole man alive tremble.”
—D.H. (David Herbert)
“The world has held great Heroes,
As history books have showed;
But never a name to go down to fame
Compared with that of Toad!”
—Kenneth Grahame (1859–1932)
Related Phrases
Related Words