| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| CAFE: An Industrial-Strength Algebraic Formal Method | 978-O-444-5O556-9 (O-444-5O556-3) | 2000 | K. Futatsugi · A.T. Nakagawa |
T.T. · Tetsuo Tamai · Tokutaro Tamai · Tokutaroh Tamai · Tony Tamai