Формальные методы построения сложных программных объектно-ориентированных систем // Материалы...26 ноября - 1 декабря 2001 года. – 2003. – Факультет технической кибернетики