Reprints from Computing Reviews
Michael C. Loui · ACM SIGACT News · 1995
including models of computation, formal languages, computational complexity theory, analysis of algorithms, and logics and semantics of programs.ACM members caa-t rec.eive a subscription to Computing Reviews for $37 per year by writing to ACM headquarters.