In: Jarník, Vojtěch; Folta, Jaroslav (other); Novák, Josef (other): Bolzano a základy matematické analýzy. (Czech). Praha: Jednota čs. matematiků a fyziků, 1981. pp. 39-59