@book{13119,
	author = {D. I. A. Cohen},
	title = {Introduction To Computer Theory}
}