Статья

"Теоретическое программирование как область математической науки".