Stav dette: RIMS symposia on software science and engineering, Kyoto, 1982 :