\begin{thebibliography}{BM07}

\bibitem[BM07]{Bradley1}
Aaron~R. Bradley and Zohar Manna.
\newblock {\em The calculus of computation - decision procedures with
  applications to verification}.
\newblock Springer, $1^{st}$ edition, 2007.

\end{thebibliography}