A convergence result for the Tau method. - Hans-Görg Roos; E. Pfeifer (Computing, 1989)