Maura CerioliBooksRecent Trends in Algebraic Development TechniquesFundamental Approaches to Software EngineeringAuthor data: Open Library