Henri Habrias

• Dictionnaire encyclopédique du génie logiciel
• Software specification methods
• Introduction a la specification
• Software specification methods
• Software Specification Methods
• Introduction à la spécification
• Spécification formelle avec B