А. Д. Кфури, А. П. Столбоушкин, П. Ужичин, “Некоторые открытые вопросы в теории схем программ
и динамических логик”, УМН, 44:1(265) (1989), 35–55; A. J. Kfoury, A. P. Stolboushkin, P. Urzyczyn, “Some open questions in the theory of program schemes and dynamic logics”, Russian Math. Surveys, 44:1 (1989), 43–68
