Автоматизация проектирования лифтовых систем Г.С. Гатауллин; В.М. Захаров; С.Е. Кузнецов; Л.И. Вольф-Троп; А.С. Карасов Verojatnostnye metody i kibernetika