TY  - BOOK
AU  - Bradley,Aaron R.
AU  - Manna,Zohar
TI  - Calculus of computation: decision procedures with applications to verification 
SN  - 3540741127
PY  - 2007///
CY  - Berlin 
PB  - Springer
KW  - Computer logic
KW  - Computer programs
N1  - Includes bibliographical references (p.[351]-355) and index
ER  -