Mathematical Logic and Programming Languages (Prentice-Hall... By Hoare, C. A. R. Hardcover Price $29.29 Free Shipping