@article{PDMA_2012_5_a58,
     author = {A. M. Saukh},
     title = {Analysis of some program sources semantic aspects based on formal syntax and semantics specifications},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {110--111},
     publisher = {mathdoc},
     number = {5},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2012_5_a58/}
}