Mathsemantics by Edward MacNeal