Naming and necessity /
Kripke, Saul A.
Oxford : Blackwell,
1981