Iwami, M. (2007). 'Persistence of Termination for Term Rewriting Systems with Ordered Sorts'. World Academy of Science, Engineering and Technology, Open Science Index 3, International Journal of Mathematical and Computational Sciences, 1(3), 200 - 204.