@Article{J10,
  key =		 {J10},
  author =	 {Serge Autexier and Christoph
                  Benzm{\"u}ller and Armin Fiedler and Henri Lesourd},
  title =	 {Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor},
  journal =	 {Electronic Notes in Theoretical Computer Science},
  year = 2005,
  note =     {This article was formally accepted for the UITP'05 post-proceedings in ENTCS; this volume did still not appear though},
}