The French School of Programming
This book examines the evolution of programming methodology in France from the 1960s onward, highlighting key contributions from French computer scientists in areas such as program construction, formal methods, and language design, and situating these developments within the broader history of software engineering.