TY  - BOOK
AU  - Yeh,Raymond Tzuu-Yau,1937-
TI  - Current trends in programming methodology, volume II : program validation
SN  - 0131957198
U1  - QA/76.6 
PY  - 1977///
CY  - Englewood Cliffs, New Jersey
PB  - Prentice-Hall
KW  - Programming (Electronic computers)
ER  -