Katsuyuki Sarashina Tsuyoshi Ando Kaoru Takahashi Masataka Ohta Yoshiaki Tokita An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation. 205-218 1993 conf/forte/1993 FORTE db/conf/forte/forte1993.html#SarashinaATOT93