Computational semantics with functional programming - Eijck, J. van (Jan) (Cambridge University Press, 2010)