TY  - BOOK
AU  - Hennessy Mathew
TI  - Semantics of programming languages : an elementary introduction using structural operational semantics
SN  - 0-471-92772-4
U1  - 005.13 
PY  - 1990///
CY  - Chichester
PB  - John Wiley
KW  - Computer science
KW  - Programming language
KW  - Structural operation
ER  -