Text this: Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer