@techreport{oai:repository.dl.itc.u-tokyo.ac.jp:00041938, author = {Matsushima, Hitoshi}, month = {Aug}, note = {application/pdf}, title = {Stable Implementation}, year = {2001} }