TY  - BOOK
AU  - Деметрович, Я.
AU  - Кнут, Е.
AU  - Радо, П.
TI  - Автоматизированные методы спецификации
SN  - 5-03-000487-4
PY  - 1989///
CY  - М.
PB  - Мир
N2  - Библиогр.: с. 112-115 (76 назв.)
ER  -