Chinese cultural classics organize and develop computer technology research series Ancient Computer Information Portal automatically build and Applications: A Case History of agriculture(Chinese Edition)
情報処理と統計数理 (コンピュータ・サイエンス・シリーズ 山下英男,雨宮綾夫監修)
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science, 891)