Ю. Триус і А. Дяченко, «Програма-інтерпретатор алгоритмічних систем Маркова, Тьюрінга, Поста», kosn, вип. 4 (11), с. 28–41, Лют 2006.