A. Assem, “The Power of the Depth of Iteration in Defining Relations by Induction”, IJLLIS, vol. 3, Jan. 2016.