@book{17925,
	author = {Gauthier, David P.},
	title = {The logic of Leviathan},
	publisher = {Clarendon P.},
	year = {1969.},
	address = {Oxford}
}