Статья Разработка средств автоматизации построения объектно-ориентированных программ с явным выделением состоянии Гуров В. С., Мазин М. А., Шалыто А. А., Нарвский А. С.