Springer
J.M. Kokichi Futatsugi , not CWI et al
Lecture Notes in Computer Science
Specification and Analysis of Embedded Systems

Klop, J.W, van Oostrom, V, & de Vrijer, R. (2006). Iterative Lexicographic Path Orders, in Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the occasion of his 65th Birthday. In J.M Kokichi Futatsugi & not CWI et al (Eds.), Lecture Notes in Computer Science. Springer.