@mastersthesis{fk:dea03,
  author	= "Florent Kirchner",
  title		= "Towards a Common Tactical Language : The Case of {Coq} and {PVS}",
  school	= "{DEA} Programmation : S{\'e}mantique, Preuves et Langages",
  year		= 2003
}