View The Formal Semantics Of Programming Languages: An Introduction (Foundations Of Computing) 1993