Loop-invariant Optimization in the Pifagor Language. - Vladimir S. Vasilev; Alexander I. Legalov (Autom. Control. Comput. Sci., 2018)

Transformation of Functional Dataflow Parallel Programs into Imperative Programs. - Vladimir S. Vasilev; Alexander I. Legalov; Sergey V. Zykov (Autom. Control. Comput. Sci., 2022)