TY  - BOOK
AU  - Braffort,P.
AU  - Hirschberg,D.
TI  - Computer programming and formal systems
U1  - 164 
PY  - 1963///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Computer programming
ER  -