Secure mechanical verification of mutually recursive procedures.

Peter V. Homeier David F. Martin Secure mechanical verification of mutually recursive procedures. 1-19 2003 187 Inf. Comput. 1 http://dx.doi.org/10.1016/S0890-5401(03)00133-0 db/journals/iandc/iandc187.html#HomeierM03