И. Карпенко и В. Попов, «Погружение исчисления RM в его позитивный фрагмент.», ЛИ, т. 10, сс. 94-99, ноя. 2003.