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} }