"The French School of Programming" publié chez Springer

The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors include several of the originators of such widely acclaimed inventions as abstract interpretation, the Caml, OCaml and Eiffel programming languages, the Coq proof assistant, agents and modern testing techniques....

Authors include Michel Raynal, Professor Emeritus at the University of Rennes and member of the Wide research team, and Jean-Marc Jézéquel, Professor at the University of Rennes, former Director of IRISA and member of the Diverse research team.