TY  - SER
AU  - ЛЕТИЧЕВСКИЙ ,А.А.
AU  - МОРОХОВЕЦ,М.К.
AU  - ПЕСЧАНЕНКО,В.С.
TI  - СИСТЕМА ДОКАЗАТЕЛЬНОГО ПРОГРАММИРОВАНИЯ
ER  -