Recent Trends in Algebraic Development Techniques - Codescu; Diaconescu, Rzvan; Diaconescu, Răzvan; Tutu, Ionut; Țuțu, Ionuț (Springer International Publishing, 2015)