Proving Total Correctness of Recursive Procedures

@article{America1990ProvingTC,
  title={Proving Total Correctness of Recursive Procedures},
  author={Pierre America and Frank S. de Boer},
  journal={Inf. Comput.},
  year={1990},
  volume={84},
  pages={129-162}
}