TY  - BOOK
AU  - Braffort, P Ed
AU  - Hirschberg D Ed
TI  - Computer programming and formal systems
CY  - London
ER  -