Semantics with applications : a formal introduction /
Nielson, Hanne Riis.
Nielson, Flemming.
Chichester : John Wiley and Sons,
c1992