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