Parallel Programming with Bags. - Louis Mussat (Research Directions in High-Level Parallel Programming Languages, 1991)

Introducing Dynamic Constraints in B. - Jean-Raymond Abrial; Louis Mussat (B, 1998)

On Using Conditional Definitions in Formal Theories. - Jean-Raymond Abrial; Louis Mussat (ZB, 2002)

Safety Analysis of a CBTC System: A Rigorous Approach with Event-B. - Mathieu Comptier; David Déharbe; Julien Molinero Perez; Louis Mussat; Pierre Thibaut; Denis Sabatier (RSSRail, 2017)