Mathematical Foundations of Computer Science 1992by Ivan M. HavelSequential machine theoryFormal languagesComputer programmingWriting a summary for young readers…For young readersBook data: Open Library