\bibitem{CousotCousot-POPL14}
P.~Cousot and R.~Cousot.
\newblock A Galois connection calculus for abstract interpretation.
\newblock In \emph{Proceedings of the 41$^{\mathrm{st}}$ Annual ACM
  SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  pages 2--3, San Diego, CA, January 20-21, 2014. ACM Press, New York,
  NY.

@inproceedings{CousotCousot-POPL14,
  author    = {Patrick Cousot and
               Radhia Cousot},
  title     = {A Galois connection calculus for abstract interpretation},
  booktitle = {The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles
               of Programming Languages, POPL '14, San Diego, CA, USA,
               January 20-21, 2014},
  editor    = {Suresh Jagannathan and
               Peter Sewell},
  year      = {2014},
  pages     = {3--4},
  publisher = {ACM},
  year      = {2014},
}
}