Bradley,Aaron R., The Calculus of Computation Decision Procedures with Applications to Verification - 1st Ed. - New Delhi Springer 2010 - 366p. [08] ISBN: 9788184893960 Dewey Class. No.: 004.015 / BRA/THE