@Proceedings{E12,
key =  {E12},
editor       = {Serge Autexier and Christoph Benz{\"u}ller},
          Year         = 2009,
          Title        = {Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers (UITP 2008), Montr\'{e}al, Canada},
Booktitle        = {Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers (UITP 2008), Montr\'{e}al, Canada},
          series = {Electronic Notes in Theoretical Computer Science},
          volume = 226,
          publisher = {Elsevier},
          pages = {1-106}
      }