\bibitem{CousotCousot95-2}
P.~Cousot and R.~Cousot.
\newblock Compositional and Inductive Semantic Definitions in
  Fixpoint, Equational, Constraint, Closure-condition, 
  Rule-based and Game Theoretic Form, invited paper.
\newblock In \emph{Conference on Computer-Aided Verification, 
  CAV'95}, P{.}~Wolper (Ed.). Li\`ege, Belgium, Lecture Notes
  in Computer Science 939, pages 293--308. Springer-Verlag, 
  Berlin, Germany, July 3--5, 1995.

@inproceedings{CousotCousot95-2,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Compositional and Inductive Semantic Definitions in Fixpoint, 
                Equational, Constraint, Closure-condition, Rule-based and 
                Game-Theoretic Form, invited paper},
   editor =    {Wolper, P{.}},
   booktitle = {Proceedings of the Seventh International Conference on Computer 
                Aided Verification, CAV$\,$'95},
   address =   {Li{\`e}\-ge, Belgium, Lecture Notes in Computer Science 939},
   publisher = {Springer-Verlag, Berlin, Germany},
   month =     {3--5 July},
   year =      1995,
   pages =     {293--308},
}