| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Fuzzy Logic and Soft Computing | 978-0-7923-8650-6 (0-7923-8650-7) | 1999 | Guoqing Chen · Kai-Yuan Cai |
| Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs | 978-0-387-95092-1 (0-387-95092-3) | 2001 | |