Referential Opacity and Modal Logic - 9780415998444