@Article{colby+:certcomp,
  author = 	 {Christopher Colby and Karl Crary and Robert Harper and Peter Lee and Frank Pfenning},
  title = 	 {Automated Techniques for Provably Safe Mobile Code},
  journal = 	 {Theoretical Computer Science},
  year = 	 {2003},
  volume =	 {290},
  pages =	 {1175--1199},
  note =	 {Special issue on \emph{Dependable Computing}.}
}