• Compressed PostScript .ps.gz (1.9 Mb),
• PDF (308 Kb)

\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 22--32, Wroclaw, Poland,, July 9, 2007.
   Electronic Notes in Theoretical Computer Science, volume ????, Springer,
   Berlin (to appear).

@collection{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 =    {????},
   publisher = {Elsevier, Amsterdam, The Netherlands},
   month =     jul # " 9",
   year =      2007,
   pages =     {22--32},
   note =      {(to appear)},
}