A theory of predicates - Ackerman, Farrell (CSLI Publications, 1998)