О формальной модели и спецификации распределенной диалоговой системы А.Ф. Хабибрахманов — 1990 Verojatnostnye metody i kibernetika