Passing of Jean-Raymond Abrial (via grayswandyr) — discussion

#formalmethods