Recent Trends In Algebraic Development Techniques door M. Cerioli, G. Reggio & Didier Bert