@book{13184,
	author = {Wit, Bob de and Meyer, Ron},
	title = {Strategy synthesis},
	publisher = {South-Western,},
	year = {c2010},
	address = {Hampshire:},
	edition = {3rd ed.}
}