@inproceedings{HillS:amast02,
  author =    {Hill, P.~M. and Spoto, F.},
  title =     {A {F}oundation of {E}scape {A}nalysis},
  editor =    {H.~Kirchner and C.~Ringeissen},
  publisher = {Springer-Verlag, Berlin},
  pages =     {380--395},
  Series =    {Lecture Notes in Computer Science},
  Volume =    2422,
  booktitle = {Algebraic Methodology and Software Technology;
                 Proceedings of 9th International Conference, AMAST 2002},
  Address =   {Reunion Island, France},
  year =      {2002}
}