Referential Opacity And Modal Logic by Dagfinn Follesdal