@book{1236,
	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}
}