Тезисы

доклада в Северодонецке "Теоретическое обоснование технологии программирования".