Some Experiments Using Term Rewriting Techniques for Concurrency. - Carron Kirkwood; Kathy Norrie (FORTE, 1990)

An Experiment using Term Rewriting Techniques for Concurrency. - Carron Kirkwood (Functional Programming, 1990)

Automating (Specififation = Implementation) Using Equational Reasoning and LOTOS. - Carron Kirkwood (TAPSOFT, 1993)

Specifying Properties of Basic LOTOS Processes Using Temporal Logic. - Carron Kirkwood (FORTE, 1995)

Experiences in applying formal methods to the analysis of software and system requirements. - David Hamilton; Richard Covington; John Kelly; Carron Kirkwood; Muffy Thomas; Alan R. Flora-Holmquist; Mark G. Staskauskas; Steven P. Miller; Mandayam K. Srivas; George Cleland; Donald MacKenzie (WIFT, 1995)

Experiences with specification and verification in LOTOS: a report on two case studies. - Carron Kirkwood; Muffy Thomas (WIFT, 1995)