TY  - BOOK
AU  - Проценко
TI  - Формальні специфікації мов програмування
SN  - 5-325-00485-9
PY  - 1994///
CY  - Київ
PB  - Либідь
KW  - 519.7(075)
ER  -