アントニー・ホーア
Structured Programming. (1972) オーレ=ヨハン・ダール、エドガー・ダイクストラ との共著、Academic Press. ISBN 0-12-200550-3. OCLC 23937947
Communicating Sequential Processes. (1985) (available online at http://www.usingcsp.com/ in PDF format). Prentice Hall International Series in Computer Science. ISBN 0-13-153271-5 hardback or 0-13-153289-8 paperback
Mechanised Reasoning and Hardware Design. (1992) M. J. C. Gordon(英語版) との共著、Prentice Hall International Series in Computer Science. ISBN 0-13-572405-8. OCLC 25712842
Unifying Theories of Programming. (1998) He Jifeng(英語版) との共著、Prentice Hall International Series in Computer Science. ISBN 0-13-458761-8. OCLC 38199961