Processes, terms and cycles: steps on the road to infinity / essays dedicated to Jan Willem Klop on the Occasion of his 60th birthday - Middeldorp, Aart; van Raamsdonk, Femke; van Oostrom, Vincent; de Vrijer, Roel (Lecture Notes in Computer Science,)