TY  - BOOK
AU  - Milne, Robert
AU  - Strachey, Christopher
TI  - Theory of programming language semantics, part A and B
N1  - D6,8(B) L6.1 L6.2
ER  -