Триус, Ю.; Дяченко, А. Програма-інтерпретатор алгоритмічних систем Маркова, Тьюрінга, Поста. kosn 2006, 28-41.