Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWIG Editor<pre>@inproceedings{ABFL-05-a,
  author        = {Serge Autexier, Christoph Benzm\"uller, Armin Fiedler, Henri Lesourd},
  editor        = {David  Aspinall and Christoph L\"uth},
  booktitle     = {Proceedings of UITP'05},
  title         = {Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWIG Editor},
  series        = {ENTCS},
  month         = {january},
  year          = {2006},
}
</pre>