Selected references Patrick C. Fischer. On formalisms for Turing machines. Journal of the ACM, 12(4):570-580, October 1965.