@article{PDMA_2016_9_a49,
     author = {M. S. Chushkin and V. I. Shelekhov},
     title = {Methods for synthesizing predicate program pieces},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {126--128},
     publisher = {mathdoc},
     number = {9},
     year = {2016},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2016_9_a49/}
}