@book{29080,
	author = {Michael Sipser},
	title = {Introduction to the theory of computation /},
	publisher = {PWS-Kent Publishing Company,},
	year = {1997},
	address = {Boston,USA:}
}