Recent Trends in Algebraic Development Techniques - Fiadeiro; Țuțu, Ionuț (Springer International Publishing, 2019)