Diamond : A Paradox Logic - Hellerstein, Nathaniel S. (World Scientific, 1997)