Computational semantics with functional programming - Eijck, Dingeman Johannes Norbertus van (Cambridge University Press, 2010)