@InProceedings{Deu95.pi,
  author =      {Deursen, A. van},
  title =       {A Simple Pi-calculus Manipulation Tool},
  pages =       {211--233},
  booktitle =   {Proceedings of {ASF+SDF'95}: a workshop on Generating
                 Tools from Algebraic Specifications},
  year =        {1995},
  editor =      {Brand, M. G. J. van den and Deursen, A. van and Dinesh,
                 T. B. and Kamperman, J. and Visser, E.},
  publisher =   {Technical Report P9504, Programming Research Group,
                 University of Amsterdam},
  month =       {May 11 \& 12},
  URL =         {http://www.cwi.nl/~gipe/asf+sdf95/},
  abstract = {                 
                  The $\pi$-calculus is a challenge for tool
                  generation software, as it is subject to frequent
                  changes.  A specification of desirable functionality
                  of tools for manipulating $\pi$-calculus expressions
                  is given, and its extensibility is studied.  The
                  difficulties encountered during specification are
                  discussed, as well as several proposals for easier
                  tool specification.

                  }
}