Fernando Orejas,Peter Mosses,Jos Luiz Fiadeiro

• Recent Trends in Algebraic Development Techniques