On the Analysis of Iterative and Recursive Programs. - Fatma Mili; Mustapha Beb Alaya; Ali Mili 001 (Aust. Comput. J., 1988)