A structure preserving encoding of Z in Isabelle/HOL
scientific article; zbMATH DE number 7876667