Naming and necessity (1980)

by S Kripke