Львов Михайло Сергійович. Теоретичні основи побудови систем комп'ютерної математики навчального призначення.- Дисертація д-ра фіз.-мат. наук: 01.05.03, Нац. акад. наук України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2012.- 320 с.