Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWIG Editor
@inproceedings{ABFL-05-a,
  author        = {Serge Autexier, Christoph Benzmüller, Armin Fiedler, Henri Lesourd},
  editor        = {David  Aspinall and Christoph Lüth},
  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},
}