@PhdThesis{ObdrzalekThesis,
	author = {J. Obdr{\v{z}}{\'a}lek},
	title = {Algorithmic Analysis of Parity Games},
	school = {University of Edinburgh},
	year = 2006
}