Interactive Specification Environment for Communication Service Software. - Yoshihiro Nitsu; Osamu Mizuno (IEEE J. Sel. Areas Commun., 1990)