@book{29002,
	author = {Parkes, Alan P.},
	title = {Introduction to languages, machines and logic :},
	publisher = {Springer,},
	year = {2002},
	address = {London :}
}