\bibitem{Cousot-Mycroft-Retirement-25}
P.~Cousot.
\newblock The Contributions of Alan Mycroft to Abstract Interpretation
\newblock In \emph{Languages, Compilers, Analysis - From Beautiful Theory to Useful 
               Practice --- Essays Dedicated to Alan Mycroft on the Occasion of 
               His Retirement}, Dominic Orchard and Tomas Petricek and Jeremy Singer 
               (Eds), LNCS 15500, Springer, 2025, pp.~83--100, 
               \url{https://doi.org/10.1007/978-3-032-08187-2}.

@incollection{Cousot-Mycroft-Retirement-25,
  author = {Cousot, Patrick},
  title = {The Contributions of {Alan Mycroft} to Abstract Interpretation},
  booktitle = {Languages, Compilers, Analysis -- From Beautiful Theory to Useful 
               Practice --- Essays Dedicated to Alan Mycroft on the Occasion of 
               His Retirement},
  editor = {Dominic Orchard and Tomas Petricek and Jeremy Singer},
  year = {2025},
  series = {LNCS 15500},
  pages = {83--100},
  publisher = {Springer Nature Switzerland AG},
  address = {Gewerbestrasse 11, 6330 Cham, Switzerland},
  ISBN = {978-3-032-08186-5},
  url = {https://doi.org/10.1007/978-3-032-08187-2},
}