A Programming Approach to ComputabilityA.J. Kfoury, Robert N. Moll, Michael A. Arbib · First published 2011Open the Tome
Introduction to Formal Language TheoryJames Pustejovsky, Robert N Moll, Michael A Arbib · First published 1988Open the Tome
A Basis for Theoretical Computer ScienceMichael A., A.J. Kfoury and Robert N. Moll Arbib · First published 1981Open the Tome
