@unpublished{hvA, author = {Herbert Voß}, title = {Allgemeine und sprachenspezifische {Probleme} bei der {Entwicklung} eines {Textsatzsystems} am {Beispiel} von {\TeX}}, note = {Vortrag im Institut für germanistische Sprachwissenschaft, Friedrich-Schiller-Universität Jena}, year = 2007, } @article{goedel, author = {Kurt Gödel}, title = {Über formal unentscheidbare {Sätze} der {Principia} {Mathematica} und verwandter {Systeme} {I.}}, journal= {Monatshefte für Mathematik und Physik}, publisher= {Akademische Verlagsgesellschaft}, address = {Leipzig}, number = 38, volume = 31, year = 1931, pages = {173--198} }