Semantics with Applications

by Hanne Riis Nielson, Flemming Nielson