Praktische Konstruktion verifizierender Ăbersetzer mittels ProgrammprĂŒfung
[Erzeuge bibTeX Eintrag]
[Herunterladen]