Secure mechanical verification of mutually recursive procedures
scientific article; zbMATH DE number 2118402
scientific article