Referential Opacity and Modal Logic - Dagfinn Follesdal (Taylor and Francis, 2004)