TY  - BOOK
AU  - Yeh, Raymond T., Ed.
TI  - Current trends in programming methodology Vol.II program validation
PY  - 1977///
CY  - New Jersey
PB  - Prentice-Hall
ER  -