\bibitem{NielsonEtAl96-LOPMAS}
\newblock F{.}~Nielson, P{.}~Cousot, M{.}~Dam, P{.}~Degano, P{.}~Jouvelot, A{.}~Mycroft, and B{.}~Thomsen.
\newblock Logical and Operational Methods in the Analysis of Programs and Systems.
\newblock In \emph{Analysis and Verification of Multiple-Agent Languages: 
5th LOMAPS Workshop, Stockholm, Sweden, June 24--26, 1996, Selected Papers}, pages 1--21.  
Lecture Notes in Computer Science, volume 1192, Springer, Berlin, 1996.

@inproceedings{NielsonEtAl96-LOPMAS,
    author = "F{.} Nielson and P{.} Cousot and M{.} Dam and P{.} Degano and P{.} Jouvelot and A{.} Mycroft and B{.} Thomsen",
    title = "Logical and Operational Methods in the Analysis of Programs and Systems",
    booktitle = "Analysis and Verification of Multiple-Agent Languages: 
                 5th LOMAPS Workshop, Stockholm, Sweden, June 24--26, 1996, Selected Papers",
    series = "Lecture Notes in Computer Science",
    volume = "1192",
    pages = "1--21",
    year = "1996",
}