Craig Chambers: Predicate Classes. ECOOP 1993: 268-296