Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA<pre>@article{ABDW-08-a,
  author        = {Serge Autexier and Christoph Benzmueller and Dominik Dietrich and Marc Wagner},
  title         = {Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA},
  journal       = {Journal Mathematics in Computer Science},
  publisher     = {Birkh\"auser},
  year          = {2008},
}
</pre>