Recent Trends in Algebraic Development Techniquesde Andrea CorradiniMateriasLogic designInformation theorySymbolic and mathematical LogicComputer scienceComputer softwareCongressesDevelopmentMathematicsAbstract data types (Computer science)Algebraische Spezifikation