Formal syntax and semantics of programming languages : a laboratory based approach - Slonneger, Kenneth (Addison-Wesley Pub. Co., 1995)