Hanne Riis Nielson, Flemming Nielson Semantics with Applications: An Appetizer - Germany Springer 2007 ISBN: 978-1-84628-692-6 Subjects--Topical Terms: Computer ScienceSemantics with Applications: An Appetizer