@InProceedings{thies:ecoop:2005,
  author =	 {Amy Williams and William Thies and Michael D. Ernst}