Карпенко, И., и В. Попов. «Погружение исчисления RM в его позитивный фрагмент.». Логические исследования, т. 10, ноябрь 2003 г., сс. 94-99, doi:10.21146/2074-1472-2003-10-0-94-99.