Naming and necessity - Kripke, Saul A. 1940- (Harvard University press, 1980)