Semantics with Applications: An Appetizer - Nielson, Hanne Riis.; Nielson, Flemming; SpringerLink (Online service) (London : Springer-Verlag London Limited, 2007)
Keywords: Programming languages (Electronic computers) -- Semantics; Computer Science; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs