@book{14834,
	author = {Arbib, Michael A and Kfoury, A. J.},
	title = {A basis for theoretical computer science /},
	publisher = {Springer-Verlag,},
	year = {c1984},
	address = {New York :},
	edition = {4th. ed.},
	note = {Includes indexes}
}