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.