\bibitem{Cousot-IC-2007-07-04}
P.~Cousot.
\newblock Bi-inductive structural semantics and its abstraction.
\newblock \emph{Departmental Seminar}, 
         Department of Computing, Imperial College, London, UK, 
         July 4${^\mathrm{th}}$ 2007.

@inProceedings{Cousot-IC-2007-07-04,
   author =    {P{.} Cousot},
   title =     {Bi-inductive structural semantics and its abstraction},
   booktitle = {Departmental Seminar},
   address =   {Department of Computing, Imperial College, London, UK},
   month =     {July 4${^\mathrm{th}}$ 2007},
   year =      2007,
}