Programming language syntax and semantics - Watt, David Anthony (Prentice-Hall international series in computer science, 1991)