@phdthesis{ 	fk:phd07,
  author	= "Florent Kirchner",
  title		= "Interoperable proof systems",
  year		= 2007,
  school	= "\'Ecole Polytechnique",
}