@PhdThesis{Goodloe08,
  author = 	 {Alwyn E. Goodloe},
  title = 	 {A Foundation for Tunnel-Complex Protocols},
  school = 	 {University of Pennsylvania},
  year = 	 2008
}