TY  - BOOK
AU  - Андерсон,Р.
TI  - Доказательство правильности программ
PY  - 1982///
CY  - М.
PB  - Мир
ER  -