TY  - BOOK
AU  - Bradley, Aaron R.
AU  - Manna , Zohar
TI  - Calculus of computation: Decision procedures with applications to verification 
SN  - 9788184893960
PY  - 2007///
CY  - New Delhi
PB  - Springer
ER  -