Naming and necessity - Kripke, Saul A., 1940-2022 (Blackwell Publishing, 1980)