@InProceedings{picco00:developing,
  author =       {Gian Pietro Picco and Amy L. Murphy and Gruia-Catalin Roman},
  title =        {{Developing Mobile Computing Applications with Lime}},
  booktitle =    {Proceedings of the 22$^{th}$ International Conference on Software Engineering (ICSE 2000)},
  address = {Limerick (Ireland)},
  month = jun,
  year =      2000,
  pages = {766--769},
  editor = {M. Jazayeri and A. Wolf},
  note =      {Formal research demo}
}