On Manin's conditional algorithm Horst G. Zimmer — 1977 Mémoires de la Société Mathématique de France
Correction and remarks concerning quasifunctions on elliptic curves. Horst G. Zimmer — 1983 Journal für die reine und angewandte Mathematik
Torsion Points on Elliptic Curves over a Global Field. Horst G. Zimmer — 1979 Manuscripta mathematica
Quasifunctions on elliptic curves over local fields. Horst G. Zimmer — 1979 Journal für die reine und angewandte Mathematik
Lineare rekurrente Folgen auf elliptischen Kurven Attila Pethö; Horst G. Zimmer — 1990 Journal de théorie des nombres de Bordeaux