has been identified by Quentin Smith with the theory of reference given in Saul Kripke's Naming and Necessity. However, in a recent laudatio to Ruth Barcan Marcus, Professor Timothy Williamson says:

The philosopher of language Stephen Neale has also argued against Professor Smith's claim in the Times Literary Supplement.