Васильев С.Н., Сабитов Ш.Р., Смирнова Н.В., Суконнова А.А. Методическое обеспечение логических и оптимизационных задач в интеллектуальной обучающей системе "Волга" / Труды 10-й Международной Четаевской конференции «Аналитическая механика, устойчивость и управление» (Казань, 2012). Казань: Издательство Казанского государтсвенного технического университета, 2012. 4. С. 62-83.