TY  - BOOK
AU  - Milne, Robert
TI  - A theory of programming language semantics
U1  - 415 M635T 
PY  - 1976///
CY  - London
PB  - Chapman and Hall
ER  -