Proving correctness of implementation techniques. - Cliff B. Jones; P. Lucas (Symposium on Semantics of Algorithmic Languages, 1971)

Representation of Factual Information by Equations and Their Evaluation. - P. Lucas; Tore Risch (ICSE, 1982)

Session Discussion. - P. Lucas (Formal Description of Programming Concepts, 1982)

Sclow Plots: Visualizing Empty Space. - Joachim Giesen; Lars Kuehne; P. Lucas (Comput. Graph. Forum, 2017)