@Article{J17,
  key =		 {J17},
  author =	 {Serge Autexier and Christoph Benzm{\"u}ller and Dominik Dietrich and Mark Wagner},
  title =	 {Organisation, Transformation, and Propagation of
                  Mathematical Knowledge in Omega},
  journal =	 {Mathematics in Computer Science},
  publisher = {Birkhaeuser Basel},
  year =	 2008,
  volume = 2,
  number = 2,
  pages = {253-277},
  note = {doi:10.1007/s11786-008-0054-6}
}