(1) Yoshihiro Niitsu, Osamu Mizuno : "Interactive Specification Environment for Communication Service Software",
IEEE J-SAC, Vol. 8, no.2, pp.181-188 (1990)

(2) 新津善弘、水野修 :"通信サービス仕様検証方式", 信学論, J72-B-I, Vol. 4, pp.331-342 (1989).

(3) 新津善弘, 吉田孝, 和泉　夏樹 : "電話利用サービスにおけるユーザイン タフ ェース仕様設計法", 情処論,
Vol. 36, No. 5, pp.1138-1150 (1995).