Схемы программ и эффективные функционалы конечных типов В.Д. Соловьев — 1983 Verojatnostnye metody i kibernetika
Программный комплекс поддержки технологии программирования "снизу-вверх" А.И. Васильев; В.Д. Соловьев Verojatnostnye metody i kibernetika