Hoare,  C. A. R. <br/><br/>
Mathematics logic and programming languages. / 
Hoare, C. A. R., Shepherdson, J. C. 
<br/><br/><label>Dewey Class. No.: </label>511.3 M42