TY  - BOOK
AU  - Beth, E. W.
TI  - Formal Methods
PY  - 1962///
CY  - Dordrecht
PB  - D.Reidel Pub.Co.
ER  -