Formal syntax and semantics of programming languages (1995)

by K Slonneger, B L Kurtz