Яхонтов С.В. Эффективные по времени и памяти алгоритмические приближения чисел и функций : учеб. пособие / С. В. Яхонтов, Н. К. Косовский, Т. М. Косовская, 2012. - 256 с. - Текст : непосредственный.
Яхонтов С.В. Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ : учеб. пособие / С. В. Яхонтов, 2014. - 146 с. - Текст : непосредственный.
Яхонтов С.В. Разработка и реализация алгоритмов для работы с Flinspace конструктивными вещественными числами и алгоритмическими функциями над ними : автореф. дис. .. канд. физ.-мат. наук: 05.13.17 / С. В. Яхонтов, 2009. - 16 с. - Текст : непосредственный.