Total Correctness of Recursive functions . . .

by George Karabotsos , Patrice Chalin , Perry R. James , Leveda Giannas