Stav dette: Formal syntax and semantics of programming languages : a laboratory based approach / Kenneth Slonneger, Barry L. Kurtz.