TY  - BOOK
AU  - Yeh R T
TI  - Current trends in programming methodology: v 2 : program validation
SN  - 0-13-195719-8
U1  - 005.1 
PY  - 1977///
CY  - Englewood Cliffs
PB  - Prentice Hall
KW  - Computer programming
KW  - Software engineering
ER  -