The Calculus of Computation Decision Procedures with Applications to Verification - Bradley, Aaron R.; Manna, Zohar; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Information theory; Computer software; Logic design; Computer Science; Theory of Computation; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages