Монография посвящена изучению алгебраических методов с учетом их применения в теоретическом и системном программировании, прикладной теории алгоритмов, теории формальных языков и систем программирования. В третье издание включен ряд новых резултатов по развитию аппарата структурного параллельного программирования и автоматизированному синтезу программ.