@book{1547436,
	author = {Shen Yinan Et Al},
	title = {Protocol Conformance Testing Using Unique Input/Output Sequences},
	publisher = {World Scientific},
	url = {https://www.worldscientific.com/worldscibooks/10.1142/3259#t=toc}
}