On the Structure of Application Programs. - Peter Lucas 001 (Abstract Software Specifications, 1979)

Formal Semantics of Programming Languages: VDL. - Peter Lucas 001 (IBM J. Res. Dev., 1981)

On the Formal Definition of a PL/I Subset (Selected parts). - Hans Bekic; Dines Bjørner; Wolfgang Henhapl; Cliff B. Jones; Peter Lucas 001 (Programming Languages and Their Definition, 1984)

VDM: Origins, Hopes, and Achievements. - Peter Lucas 001 (VDM Europe, 1987)

The escher document imaging model. - Stephen N. Zilles; Peter Lucas 001; T. M. Linden; Jeffrey B. Lotspiech; A. R. Harbury (DOCPROCS, 1988)

Integrating Relational Databases and Constraint Languages. - Michael R. Hansen; Bo S. Hansen; Peter Lucas 001; Peter van Emde Boas (Comput. Lang., 1989)