ФАКУЛЬТАТИВНЫЙ КУРС "СИСТЕМА АВТОМАТИЗИРОВАННОГО РЕШЕНИЯ ЗАДАЧ" // Comput. Tools Educ. Санкт-Петербург, Россия, 1998. № 5.