On the Distributed Implementation of LOTOS. - Gregor von Bochmann; Qiang Gao 004; Cheng Wu (FORTE, 1989)

Validation of distributed algorithms and protocols. - Qiang Gao 004; Roland Groz; Gregor von Bochmann; Joumana Dargham; E. Houssain Htite (ICNP, 1995)

Specification, validation and implementation of ATM UNI signaling protocols in SDL. - Yuping Dong; Yinghua Lu; Qiang Gao 004 (SDL Forum, 1999)