Seol mar théacs é seo: Системное и теоретическое программирование: сборник научных статей