Computational Semantics With Functional Programming by Jan van Eijck & Christina Unger