Aaron R. Bradley, Zohar Manna The Calculus of Computation - 2007 ISBN: 978-3-540-74113-8 Subjects--Topical Terms: Algorithm Analysis and Problem ComplexityComputer System ImplementationLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesTheory of ComputationComputer Science