Structured Programming by C. A. R. Hoare

Functional Programming Application and Implementation, Henderson, Peter, Very Go

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

Functional Programming Application and Implementation by Henderson

Structured Programming by Edsger Wybe Dijkstra; C. A. R. Hoare; Ole-Johan Dahl

Theories of Programming : The Life and Works of Tony Hoare, Hardcover by Jone...

Applications of Neuro-Linguistic Programming by Robert Dilts (Hardcover, 1983)

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