С. П. Ковалёв, “Применение метапрограммирования для повышения технологичности больших автоматизированных систем”, Информ. и её примен., 10:1 (2016), 56–66
С. П. Ковалёв, “Теоретико-категорные модели алгебраических вычислительных систем”, Ж. вычисл. матем. и матем. физ., 56:1 (2016), 167–179; S. P. Kovalyov, “Category-theoretic models of algebraic computer systems”, Comput. Math. Math. Phys., 56:1 (2016), 173–184
С. П. Ковалёв, “Теоретико-категорный подход к проектированию вычислительных систем”, Программные системы: теория и приложения, 6:1 (2015), 3–10
С. П. Ковалев, “Математические основания компьютерной арифметики”, Матем. тр., 8:1 (2005), 3–42; S. P. Kovalyov, “Mathematical Foundations of Computer Arithmetics”, Siberian Adv. Math., 15:4 (2005), 34–70