Foundations of Algebraic Specification and Formal Software Developmentde Donald SannellaMateriasSoftware Engineering/Programming and Operating SystemsSymbolic and mathematical LogicSoftware engineeringAlgebraLogic designLogics and Meanings of ProgramsComputer scienceHomological Algebra Category TheoryMathematical Logic and Foundations
FFormal program development in extended ML for the working prFormal program development in extended ML for the working programmer
