On symplectic groups over polynomial rings. Fritz Grunewald, Jens Mennicke (1991) Mathematische Zeitschrift