Michael Sipser (2005). "A Simple Undecidable Problem". (2nd ed.). Thomson Course Technology. side. 199–205. ISBN 0-534-95097-3. E. L. Post (1946). "A variant of a recursively unsolvable problem" (PDF). . 52.