Yoshinori Ezawa Masaharu Mizumoto Jun'ichi Toyoda Kokichi Tanaka Interactive Languages. 49-63 1976 12 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss12.html#EzawaMTT76