Годлевский, А. Б.     Обратная трансформация формул в символьном моделировании: от результата к исходной формуле [Текст] / А.Б. Годлевский, С.В. Потиенко // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №3. — с.363-368.