Косовский, Николай Кириллович, и др. «Совместные ограничения сверху зоны и времени для взаимного моделирования машин Тьюринга и алгоритмов Маркова-Поста». Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, т. 2, вып. 2, май 2015 г., сс. 190-3, https://math-mech-astr-journal.spbu.ru/article/view/11148.