| 其他書名 | A Framework for Specifying and Verifying TCSP Parallel Systems |
| 出版 | Departament de Llenguatges i Sistemes Informàtics [de la] Facultat d'Informàtica [de la] Universitat Politècnica de Catalunya, 1990 |
| URL | http://books.google.com.hk/books?id=mXx9MwEACAAJ&hl=&source=gbs_api |