Bøger af Peter D. (Aarhus Universitet Mosses

Action Semantics is a comprehensive introduction to the semantics of programming languages. It will be of use to graduates of computer science and mathematics.