Y. Futamura
发表
Y. Futamura,
T. Kawai,
H. Horikoshi,
1981,
ICSE '81.
K. Saito,
M. Kobayashi,
Y. Futamura,
1984,
ICSE '84.