Reflexivity a source-book in self-reference (North-Holland, 1992)