Monotone Inductive Definitions in a Constructive Theory of Functions and Classes. - Shuzo Takahashi (Ann. Pure Appl. Log., 1989)

An Interactive Calculus Theorem-Prover for Continuity Properties. - Patrick Suppes; Shuzo Takahashi (J. Symb. Comput., 1989)

Two-Dimensional Pinpointing: Debugging with Formal Specifications. - David C. Luckham; Sriram Sankar; Shuzo Takahashi (IEEE Softw., 1991)