A Basis for Theoretical Computer Science – Kfoury, Moll, and Arbib By Book drive