@InProceedings{deboer07esop,
  author =	 {Frank S. de Boer and Dave Clarke and Einar Broch Johnsen},
  title =	 {A Complete Guide to the Future},
  booktitle =	 {Proc.\ 16th European Symposium on Programming ({ESOP}'07)},
  editor =	 {Rocco de Nicola},
  series =	 {Lecture Notes in Computer Science},
  volume =	 4421,
  publisher =	 {Springer-Verlag},
  pages =	 {316--330},
  month =	 mar,
  year =	 2007,
}