Makoto金泽（编辑）;安德拉斯·科奈（编辑）;马库斯·克拉希特（编辑）;弘久世奇（Hiroyuki Seki）（编辑） 语言的数学。2011年9月6日至8日，第12届两年一度的会议，MOL 12，日本奈良。诉讼程序。 （英语） Zbl 1223.91005号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-23210-7/pbk）。vii，227页。(2011).MSC公司：91-06 91层20 03B65号 68T50型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanazawa}（编辑）等人，《语言的数学》。2011年9月6日至8日，第12届两年期会议，MOL 12，日本奈良。诉讼程序。柏林：施普林格出版社（2011；Zbl 1223.91005） 全文： 内政部
内奥亚·尼塔;弘久世奇（Hiroyuki Seki） 下推系统的扩展及其模型检验方法。 （英语） Zbl 1274.68200号 Amadio，Roberto（编辑）等人，CONCUR 2003——并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。莱克特。注释计算。科学。2761, 281-295 (2003).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛N.Nitta｝和\textit｛H.Seki｝，Lect。注释计算。科学。2761281--295（2003年；Zbl 1274.68200） 全文： 内政部