An Experimental Analysis for Classifying Specification Processes. - Seiichi Komiya; Motoshi Saeki; Shinichi Honiden; Junzou Kato; Akira Ohmori; Hisayuki Horai; Shigeru Ohtsuki; Kazuhito Ohmaki (SEKE, 1993)