@book{5862,
	author = {Culicover, Peter W. and Thomas, Wasow},
	title = {Formal syntax},
	address = {Orlando}
}