\begin{thebibliography}{2}
\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\urlprefix}{URL }
\providecommand{\href}[2]{#2}

\bibitem[{Cousot and Cousot(1977)}]{CousotCousot77-1}
P{.} Cousot and R{.} Cousot. 1977.
\newblock Abstract interpretation: a unified lattice model for static analysis
  of programs by construction or approximation of fixpoints.
\newblock In \emph{Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT
  Symposium on Principles of Programming Languages}, pages 238--252. ACM Press,
  New York, NY, Los Angeles, California.

\bibitem[{Gawlitza and Seidl(2007)}]{Gawlitza:2007:PFC:1762174.1762203}
Thomas Gawlitza and Helmut Seidl. 2007.
\newblock \href{http://dl.acm.org/citation.cfm?id=1762174.1762203}{Precise
  fixpoint computation through strategy iteration}.
\newblock In \emph{Proceedings of the 16th European conference on Programming},
  ESOP'07, pages 300--315. Springer-Verlag, Berlin, Heidelberg.

\end{thebibliography}