Lucinda - A Polymorphic Linda. - Paul Butcher; Hussein Zedan (Research Directions in High-Level Parallel Programming Languages, 1991)

A behavioural semantics for Linda-2. - Paul Butcher (Softw. Eng. J., 1991)

Lucinda - an overview. - Paul Butcher; Hussein Zedan (ACM SIGPLAN Notices, 1991)

Global synchronisation in Linda. - Paul Butcher; Alan C. Wood; Martin Atkins (Concurr. Pract. Exp., 1994)

Security-Hardening Software Libraries with Ada and SPARK - A TCP Stack Use Case. - Kyriakos Georgiou; Guillaume Cluzel; Paul Butcher; Yannick Moy (CoRR, 2021)