@book{224937,
	author = {Antonín Kucera, Thomas A. Henzinger, Jaroslav Neaetril, Tomáa Vojnar, David Antoa},
	title = {Mathematical and Engineering Methods in Computer Science},
	publisher = {Springer US},
	year = {2013},
	address = {New York}
}