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