@article{MAIS_2012_19_5_a8,
     author = {M. S. Kropacheva and A. I. Legalov},
     title = {Formal {Verification} of {Programs} in {Functional} {Dataflow} {Parallel} {Language}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {81--99},
     publisher = {mathdoc},
     volume = {19},
     number = {5},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a8/}
}