Backes, Werner Programming Logics, MPI for Informatics, Max Planck Society;
Backes, W. (1998). Berechnung kürzester Gittervektoren. Master Thesis, Univesität des Saarlandes, Saarbrücken.