Ramsey, Norman <br/><br/>
Programming languages :  build, prove, and compare / 
Ramsey Norman. 
 - New York, N.Y.:  Cambridge Univ, Press,  c2023. 
 - xxi, 775 p. ;  27 cm. 
<br/><br/>Includes bibliography & index. 
<br/><br/><label>ISBN: </label>9781107180185 (cb.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages<br/>Computer programming