A theory of predicates - Ackerman, Farrell (CSLI Lecture Notes ;, 1998)