An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation. - Katsuyuki Sarashina; Tsuyoshi Ando; Kaoru Takahashi; Masataka Ohta; Yoshiaki Tokita (FORTE, 1993)

Interpretation of SDL specification in LOTOS. - Tsuyoshi Ando; Masataka Ohta; Kaoru Takahashi (Syst. Comput. Jpn., 1994)

Simultaneous Contractibility. - Tsuyoshi Ando; Mau-Hsiang Shih (SIAM J. Matrix Anal. Appl., 1998)