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