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