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