| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Prolog and its Applications: A Japanese perspective | 978-0-412-37770-9 (0-412-37770-5) | 1991 | ||
| Software Security - Theories and Systems: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 | 978-3-540-23635-1 (3-540-23635-X) | 2008 | Kokichi Futatsugi · Naoki Yonezaki | |