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)