@inproceedings{ chang02trustless,
  author = "B. Chang and K. Crary and M. DeLap and R. Harper and J. Liszka and T. Murphy~VII and F. Pfenning",
  title = "Trustless grid computing in ConCert",
  pages = "112--125",
  publisher = "Springer-Verlag",
  address = "Berlin",
  month = nov,
  keywords = "certified code, proof carrying code, grid computing",
  editor = "M. Parashar",
  booktitle = "Grid Computing -- Grid 2002 Third International Workshop",
  year = "2002",
  url = "citeseer.nj.nec.com/chang02trustless.html" }