The Formal Semantics of Programming Languages – An Introduction

The Formal Semantics of Programming Languages – An Introduction