Algebraic Foundations in Computer Sciencede Werner KuichMateriasMathematical Logic and Formal LanguagesSoftware engineeringAlgebraSymbolic and Algebraic ManipulationLogic designLogics and Meanings of ProgramsComputer scienceData processingProgramming Languages, Compilers, Interpreters