Full version in Information and computation.

\bibitem{CousotCOUSOT07-SOS}
P. Cousot & R. Cousot.
\newblock Bi-inductive Structural Semantics.
\newblock In \emph{Structural Operational Semantics 2007}, R.\ van Glabbeek
   and M.\ Hennessy (Eds), pages 29--44, Wroclaw, Poland, July 9, 2007.
   Electronic Notes in Theoretical Computer Science, volume 192, issue 1, 
   24 October 2007, Elsevier B.V., Amsterdam, The Netherlands.

@inCollection{CousotCOUSOT07-SOS,
   author =    {P{.} Cousot and R{.} Cousot},
   title =     {Bi-inductive Structural Semantics},
   booktitle = {Structural Operational Semantics 2007},
   editor =    {R.\ van Glabbeek and M.\ Hennessy},
   address =   {July 9, 2007, Wroclaw, Poland},  
   series =    {Electronic Notes in Theoretical Computer Science},
   volume =    {191},
   number =    {1},
   publisher = {Elsevier B.V., Amsterdam, The Netherlands},
   month =     oct # " 24",
   year =      2007,
   pages =     {29--44},
}