000 00225nam a22000857a 4500
008 130405b xxu||||| |||| 00| 0 eng d
020 _a0262032708
_cAvalable
050 _a004.21CLA
_b1706
245 _aModel Chacking
_cEdmund M. Clarke,Jr
999 _c23318
_d23318