An enclosure generating modification of the method of discretization in time G. Koeppe; Hans-Görg Roos; Lutz Tobiska — 1987 Commentationes Mathematicae Universitatis Carolinae