Constructions and predicates - Pavlovic, D (Springer Verlag, 1991)