Jan Willem Klop Vincent van Oostrom Roel C. de Vrijer Iterative Lexicographic Path Orders. 541-554 2006 conf/birthday/2006goguen Essays Dedicated to Joseph A. Goguen http://dx.doi.org/10.1007/11780274_28 db/conf/birthday/goguen2006.html#KlopOV06