@book{13225,
	author = {De Wit, Bob and Meyer, Ron},
	title = {Strategy synthesis},
	publisher = {Thomson,},
	year = {c2002},
	address = {Holborn:}
}