Introduction to Models of Computation: From Turing Machine to Lambda Calculus, Saiensusha, 125 pages, 2006. (with M. Hamana)
Theories of Computation Models, Iwanami Lecture Series of Software Science, Vol. 12, Iwanami Shoten, 386 pages, 1991
New Trends of Programming Languages, Lecture Series in Computer Science/Software Engineering, Vol. 2, Kyoritu Publishing Co., 262 pages, 1988.
Editor
Guest Editors of Journals
Pascal Schreck, Tetsuo Ida and Laura Kovacs, Foreword: Formalization of geometry, automated and interactive geometric reasoning, Annals of Mathematics and Artificial Intelligence 85(2-4), January 2019
Jacques Fleuriot and Tetsuo Ida, Preface to the special issue on geometric reasoning, Annals of Mathematics and Artificial Intelligence 77(1-2), May 2015
Proceedings and books
The Second Fuji International Workshop on Functional and Logic Programming, World Scientific, 1997. (with A. Ohori and M. Takeichi) Multi-Paradigm Logic Programming,
Proceedings of the JICSLP96 Post-Conference Workshop, Technical University of Berlin, Report No. 96-28, 1996. (with M. Chakravarty and Y. Guo) Fuji International Workshop on Functional and Logic Programming, World Scientific, 1996. (with M. Takeichi)