@book{133934,
	author = {Leeuwen, J. van},
	title = {Handbook of theoretical computer science},
	publisher = {Elsevier},
	year = {1990.},
	address = {Amsterdam}
}