@book {Prager-2001-OTU,
	author=		"John Prager",
	publisher=	"Wadsworth",
	title=		"On Turing",
	year=		"2001",
	theme=		"",
	project=	"",
	added-by=	"Daniel Acevedo",
	date-added=	"Wed June 2 9:30:07 2004"
}
@book {Prager-2001-OTU-url,
	author=		"John Prager",
	note=		" \url{http://vis.cs.brown.edu/results/bibtex/Prager-2001-OTU.bib}{(bibtex: Prager-2001-OTU)}",
	publisher=	"Wadsworth",
	title=		"On Turing",
	year=		"2001",
	theme=		"",
	project=	"",
	added-by=	"Daniel Acevedo",
	date-added=	"Wed June 2 9:30:07 2004"
}