TY  - BOOK
AU  - Braffort, P ed.
AU  - Hirschberg, D
TI  - Computer programming and formal systems
U1  - 519.92 
PY  - 1970///
CY  - London
PB  - North holland publishing
KW  - Computer system
ER  -