@book{50643,
	author = {HUTH AND RYAN and NO},
	title = {LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS},
	publisher = {CAMBRIDGE},
	year = {2012},
	edition = {2}
}