The Calculus Of Computation: decision procedures with applications to verification - Bradley, Aaron R.; Manna, Zohar (india Springer, 2010)
Keywords: Computer logic; Computer programs--Verification; Computer science; Computer software; Logic design; Information theory; Artificial intelligence; Computer network architectures