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