CSP and CSP Nets: A Dual Model for Protocol Specification and Verification. - Wolfgang Jürgensen; Son T. Vuong (PSTV, 1984)

Formal specification and validation of ISO transport protocol components, using petri nets. - Wolfgang Jürgensen; Son T. Vuong (Comput. Commun. Rev., 1984)

Fehlerursachenlokalisierung in Kommunikationsprotokollen. - Wolfgang Jürgensen (1991)

IT Security Evaluation Improvement by Application of Testing. - Wolfgang Jürgensen (GI Jahrestagung, 1993)