SEMANTICS WITH APPLICATIONS AN APPETIZER - Nielson,Hanne Riis; Nielson,Flemming (Springer-Verlag, London, 2007)
Keywords: Programming Languages (Electronic Computers) -- Semantics