\bibitem{Cousot-RW-2014} P.~Cousot \newblock Reinhard Wilhelm. \newblock In \emph{Farewell Colloquium on the Occasion of Reinhard Wilhelm's 68th birthday}, Saarbru{\"u}chen, Germany, November, 28th 2014. @unpublished{Cousot-RW-2014, author = {Patrick Cousot}, title = {Reinhard Wilhelm}, booktitle = {Farewell Colloquium on the Occasion of Reinhard Wilhelm's 68th birthday Saarbru{\"u}chen, Germany, November, 28th 2014}, year = {2014}, }