Towards an introductory formal programming course. - Kung-Kiu Lau; Vicky J. Bush; Pete J. Jinks (SIGCSE, 1994)

Analysing the Woo-Lam Protocol Using CSP and Rank Functions. - Siraj A. Shaikh; Vicky J. Bush (J. Res. Pract. Inf. Technol., 2006)

Specifying authentication using signal events in CSP. - Siraj A. Shaikh; Vicky J. Bush; Steve A. Schneider (Comput. Secur., 2009)