Статья Формализация метода восстановления функциональных спецификаций и оценка возможности его применения для программного обеспечения, исполняемого в среде облачных вычислений Николаев Д. Д., Гатчин Ю. А.