BibTeX Entry

@proceedings{JWK60,
 editor    = "Aart Middeldorp and Vincent van Oostrom and Femke van
              Raamsdonk and Roel de Vrijer",
 title     = "Processes, Terms and Cycles: Steps on the Road to Infinity;
              Essays Dedicated to {Jan Willem Klop} on the Occasion of his
              60th Birthday",
 series    = "Lecture Notes in Computer Science",
 volume    = 3838,
 publisher = "Springer-Verlag",
 year      = 2005,
 doi       = "10.1007/11601548"
}