@book{7539,
	author = {Sipser, Michael},
	title = {Introduction to the theory of computation},
	publisher = {PWS Publishing,},
	year = {1996},
	address = {Boston :}
}