Similar Items: Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer