Naming and Necessity (1980)

by S Kripke