RIMS symposia on software science and ergineering : Kyoto, 1982 - Furamura, Yoshihiko (rz1, 1983)