TY  - BOOK
AU  - Ramsey, Norman
TI  - Programming languages: build, prove, and compare 
SN  - 9781107180185 (cb.)
PY  - 2023///
CY  - New York, N.Y.
PB  - Cambridge Univ, Press
KW  - Programming languages
KW  - Computer programming
N1  - Includes bibliography & index
ER  -