@book{29310,
	author = {Machter, Michael. and Young, Paul.},
	title = {An introduction to the general theory of algorithms},
	publisher = {North Holland,},
	year = {1978},
	series = {Computer science library. Theory of computation series},
	address = {New York :}
}