Computational semantics with functional programming - Eijck, Jan van; Author (2010)