Сапунов, В.В. Формальные методы построения сложных программных объектно-ориентированных систем [Электронный ресурс] / В.В. Сапунов, А.Э. Филиппов, Ю.Г. Карпов. — Электрон. текстовые дан. (1 файл : 108 Кб) // Материалы...26 ноября - 1 декабря 2001 года [Электронный ресурс] / Совет СПбГТУ по научно-исследовательской работе студентов; Под общ. ред. В.В. Глухова. – Санкт-Петербург, 2003 Факультет технической кибернетики [Электронный ресурс]. — (Секция "Распределенные вычисления и компьютерные сети"). — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/001077.pdf>.