000 004470000a22001570004500
008 140223b1981 xxu||||| |||| 00| 0 eng d
041 _aENG
080 _a9S42z7 M1
082 _a9S42z7 M1
100 _aBOYER (R S)
700 _aMOORE (J STROTHER)Eds.
245 _aCorrectness problem in computer science.
260 _aLondon
_bAcademic
_c1981
500 _aInternational Lecture series in computer Science.
650 _aMICROPROCESSORS
999 _c222028
_d222028