@book{1208,
	author = {Huth, Michael and Ryan, Mark},
	title = {Logic in computer science  modelling and reasoning about systems},
	publisher = {Cambridge University Press},
	year = {2004},
	address = {UK},
	edition = {2}
}