000 00212 a2200073 4500
100 _aBradley/Manna
245 _aThe Calculus of Computation : Decision Procedures with Applications to Verification
260 _bSpringer
999 _c156218
_d156218