Post's machine - Uspenskij, Vladimir Andreevič (Little Mathematics Library / Mir - Moskva., 1983)