TY  - BOOK
AU  - Ramsey, Norman 
TI  - Programming languages : build, prove, and compare
SN  - 9781107180185 (hb)
U1  - 005.14 
PY  - 2023///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computer programming
KW  - Automatic memory management
KW  - Electronic computers
KW  - Object orientation
KW  - Control operators
KW  - Smalltalk
KW  - FC
N1  - Includes index
ER  -