Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm | Publicación