Proving total correctness of recursive procedures / P. America, F.S. de Boer
Proving total correctness of recursive procedures