@book{64030,
	author = {Rradford, Andrew},
	title = {syntex},
	publisher = {Cambridge university press},
	year = {1999},
	address = {Cambridge}
}