Book

Semantics with applications

by Hanne Riis Nielson, Flemming Nielson