| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Methods for Protocol Engineering and Distributed Systems | 978-0-7923-8646-9 (0-7923-8646-9) | 1999 | Jianping Wu · Quiang Gao |
| Protocol Specification, Testing and Verification XIV | 978-0-412-63640-0 (0-412-63640-9) | 1994 | S.T. Vuong |
| Web Content Delivery | 978-0-387-24356-6 (0-387-24356-9) | 2005 | Xueyan Tang · Jianliang Xu |
S.C. · S. T. · Samuel C. · Samuel T. · T. C.