ISBN 9783540309116 books & textbook
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 3838)
Middeldorp, Aart van Oostrom, Vincent van Raamsdonk, Femke de Vrijer, Roel
Springer /2005-12-13 Paperback / 660 Pages
isbn-10: 354030911X / isbn-13: 9783540309116
