Semantics Of Programming Languages by R.D. Tennent