Turing machines with access to history

From MaRDI portal