Bibliographic reference:
\bibitem{HincheyEtAl08-CACM,}
M. Hinchey, M. Jackson, P. Cousot, B. Cook, J.P. Bowen, \& T. Margaria.
\newblock Software engineering and formal methods.
\newblock In Commun. ACM 51(9): 54--59 (Sep.~2008).
@article{HincheyEtAl08-CACM,
author = {M. Hinchey and M. Jackson and P. Cousot and B. Cook and
J.P. Bowen and T. Margaria},
title = {Software engineering and formal methods},
journal = {Commun. ACM},
volume = {51},
number = {9},
month = sep,
year = 2008,
pages = {54--59},
}