TY - BOOK AU - Nielson,Hanne Riis AU - Nielson,Flemming TI - SEMANTICS WITH APPLICATIONS: AN APPETIZER SN - 1846286913 U1 - 005.131 PY - 2007/// CY - PB - Springer-Verlag, London KW - Programming Languages (Electronic Computers) -- Semantics ER -