TY  - BOOK
AU  - Минц, Г.Е.
ED  - Институт кибернетики
TI  - Автоматический синтез программ
PY  - 1983///
CY  - Таллин
PB  - АН ЭССР
N2  - Библиогр. в конце докл
ER  -