И.Б.Бурдонов, А.С.Косачев, А.В.Демаков, А.К.Петренко, А.В.Максимов. Формальные спецификации в технологиях обратной инженерии и верификации программ. Труды Института системного программирования РАН, N 1, 1999, стр. 35-47. 16 стр. doc, pdf