@book{24436,
	author = {Nerode},
	title = {Logic For Application}
}