Mathematical Logic and Programming - Hardcover, by Hoare C. A.

Computer Science: a Structured Programming Approach Using C by Behrouz (2006)

Occam 2 Reference Manual By C. A. R. Hoare Vintage!!

Computer Science: A Structured Programming Approach Using C++ by Gilberg

A Structured Programming Approach Using C by Behrouz A. Forouzan

Mathematicsal Logic And Programming Languages, C.A.R. Prentice-Hall, 1985

Computer Science : A Structured Programming Approach Using C by Behrouz A. ...

The Woman Who Cracked the Anxiety Code: - Paperback, by Hoare Judith - Very Good