TY  - BOOK
AU  - Hoare, Ch. A. R.
TI  - ˆAn ‰axiomatic definition of the programming language PASCAL
PY  - 1972///]
CY  - [Novosibirsk
KW  - PASCAL, язык
KW  - nlr_sh1
KW  - Новосибирск
KW  - Т8-2444
KW  - rubbk
N2  - Библиогр.: с. 19
ER  -