Naming and Necessity/Definition

1980 book by American philosopher Saul Kripke that describes a causal theory of proper names as an alternative to a theory of proper names based on use of one or more definite descriptions.