Foundations of Algebraic Specification and Formal Software Development
Software Engineering/Programming and Operating SystemsSymbolic and mathematical LogicSoftware engineeringAlgebraLogic designLogics and Meanings of ProgramsComputer scienceHomological Algebra Category Theory
Writing a summary for young readers…
For young readers
Book data: Open Library