@book{10475,
	author = {GUREVICH AND ETC},
	title = {ABSTRACT STATE MACHINES: THEORY AND APPLICATIONS},
	publisher = {SPRINGER},
	year = {2000}
}