TY  - BOOK
AU  - Агафонов,Валерий Николаевич
AU  - Котов,В.Е.
TI  - Спецификация программ: понятийные средства и их организация
PY  - 1987///
CY  - Новосибирск
PB  - Наука. Сиб. отд-ние
KW  - Программирование
ER  -