THE CORRECTNESS PROBLEM IN COMPUTER SCIENCE - BOYER R.S. (ED.)(et-al) (NEWYORK : ACADAMIC, 1981)
Keywords: COMPUTER SCIENCE : COMPUTING