@InProceedings{HillS:vmcai02,
  author =       {Hill, P.~M. and Spoto, F.},
  title =        {A {R}efinement of the {E}scape {P}roperty},
  booktitle =    {Verification, Model Checking and Abstract Interpretation,
                   Third International Workshop, {VMCAI} 2002,
                   Venice, Italy, January 2002, Revised Papers},
  year =         {2002},
  editor =       {Cortesi, A.},
  Publisher =    {Springer-Verlag, Berlin},
  Series =       {Lecture Notes in Computer Science},
  Volume =       2294,
  Pages =        {154--166}
}