@book{51154,
	author = {edited by Kung He},
	title = {Theoretical computer science},
	publisher = {Springer},
	year = {2021}
}