Reference:

Thomas Reps, Mooly Sagiv, and J. Bauer, editors. Program analysis and compilation, theory and practice, essays dedicated to reinhard wilhelm on the occasion of his 60th birthday, volume 4444 of Lecture Notes in Computer Science. Springer, 2007.

Suggested BibTeX entry:

@article{RSB07a,
    booktitle = {Festschrift},
    editor = {Thomas Reps and Mooly Sagiv and J. Bauer},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday},
    volume = {4444},
    year = {2007}
}