@inbook {IOPORT.06065542,
    author       = {Jeandel, Emmanuel},
    title        = {On immortal configurations in Turing machines.},
    year         = {2012},
    booktitle    = {How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18--23, 2012. Proceedings},
    isbn         = {978-3-642-30869-7},
    pages        = {334-343},
    publisher    = {Berlin: Springer},
    doi          = {10.1007/978-3-642-30870-3_34},
    abstract     = {Summary: We investigate the immortality problem for Turing machines and prove that there exists a Turing Machine that is immortal but halts on every recursive configuration. The result is obtained by combining a new proof of Hooper's theorem [11] with recent results on effective symbolic dynamics.},
    identifier   = {06065542},
}