TY  - BOOK
AU  - Braffort,P.ed
AU  - Braffort,P.ed
AU  - Hirschberg,D.
TI  - Computer programming and formal systems
PY  - 1970///
CY  - Amsterdam
PB  - North-Holland Pub. Co.
KW  - Computer programming
N1  - Imprint covered by label: New York, Humanities Press
ER  -