The Calculus of Computation - Bradley, Aaron R.; Manna, Zohar (Springer Berlin Heidelberg, 2007)