Patrick Suppes Shuzo Takahashi An Interactive Calculus Theorem-Prover for Continuity Properties. 573-590 1989 7 J. Symb. Comput. 6 db/journals/jsc/jsc7.html#SuppesT89