Naming and necessity - Kripke, Saul A., 1940- (Basil Blackwell, 1990)