Formal Verification of Programs in the Pifagor Language. - Mariya S. Kropacheva; Alexander I. Legalov (PaCT, 2013)

Formal verification of programs in the functional data-flow parallel language. - Mariya S. Kropacheva; Alexander I. Legalov (Autom. Control. Comput. Sci., 2013)

Tail recursion transformation in functional dataflow parallel programs. - Alexander I. Legalov; Oleg V. Nepomnyaschy; Ivan V. Matkovsky; Mariya S. Kropacheva (Autom. Control. Comput. Sci., 2013)