@book{3047,
	author = {Kripke, Saul A.},
	title = {Naming and necessity},
	address = {Oxford},
	edition = {2nd edition}
}