The Calculus of Computation

MLA

Bradley, Aaron R, and Zohar Manna. The Calculus of Computation. Springer Berlin Heidelberg, 2007.

APA

Bradley, A. R, & Manna, Z. (2007). The Calculus of Computation. Springer Berlin Heidelberg.

Chicago

Bradley, Aaron R., and Zohar Manna. The Calculus of Computation. : Springer Berlin Heidelberg, 2007.