BibTeX Export

@article{Authenticus:P-003-YJM,
	title = {{Turing machines and bimachines}},
	author = {J Rhodes and PV Silva},
	doi = {10.1016/j.tcs.2008.03.019},
	journal = {Theoretical Computer Science},
	number = {1-3},
	pages = {182-224},
	publisher = {Elsevier Science Bv},
	type = {Article},
	volume = {400},
	year = {2008}
}