TY  - BOOK
AU  - Bradley Aaron R
AU  -  Manna Zohar
TI  - Calculus of computation: Decision procedures with applications to verification
SN  - 9783540741121 (hbd)
U1  - D65,8(B):(B32), P7   TD 
PY  - 2007///
CY  - Berlin
PB  - Springer-Verlag       
KW  -  Calulus
KW  - Mathematics
N1  - Bibliographical references 351-355p; Index 357-366p
ER  -