@book{258280,
	author = {Harry R Levis and Christos H Papamitriov},
	title = {Elements of the Theory of Computation},
	publisher = {PHI},
	year = {2000},
	edition = {1}
}