TY  - BOOK
AU  - BOYER R.S.  (ED.)(et-al)
TI  - THE CORRECTNESS PROBLEM IN COMPUTER SCIENCE
SN  - 0000121229203
U1  - 004.1 
PB  - NEWYORK : ACADAMIC
KW  - COMPUTER SCIENCE : COMPUTING
ER  -