Naming and necessity - Kripke, Saul A (Blackwell, 1980)