BibTeX

@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
}