@techreport{weko_32003_1, author = "劉健勤 and 下原,勝憲", title = "トポロジーによるグラフ書換え系III: Heegaard splittingsによる計算プロセス", year = "2002", institution = "国際電気通信基礎技術研究所人間情報科学研究所, 国際電気通信基礎技術研究所人間情報科学研究所", number = "7(2001-AL-082)", month = "jan" }