TY  - BOOK
AU  - Rustin Randall Ed.
TI  - Formal semantics of programming languages
T2  - Prentice Hall series in automatic computation
U1  - D65,8(B)0bP:4, L2 
PY  - 1972///
CY  - New Jersey
PB  -  Prentice Hall       
KW  -  Computer science irt maths
KW  - Computer science
ER  -