Processes, Terms, and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

Б2.1, Б2.2, В2.11.

Processes, Terms, and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th BirthdayEd. by Middeldorp A., Van Oostrom V., Vanraamsdonk F., De Vrijer R..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3838.-639 p.-(Lecture Notes in Computer Science).