Client/server - a handbook of modern computer system design. - Clive Evans; David Lacey; David Harvey; David Gibbons; Andy Krasun (Prentice Hall, 1995)

Logic Program Synthesis in a Higher-Order Setting. - David Lacey; Julian Richardson; Alan Smaill (Computational Logic, 2000)

Imperative Program Transformation by Rewriting. - David Lacey; Oege de Moor (CC, 2001)

Proving correctness of compiler optimizations by temporal logic. - David Lacey; Neil D. Jones; Eric Van Wyk; Carl Christian Frederiksen (POPL, 2002)

Investigating ID Fraud in Australia: A Research Program. - Rodger Jamieson; Kenneth J. Stevens; Peter Luckett; Kim Langfield-Smith; Warwick Sarre; Henry Pontell; Suresh Cuganesan; David Lacey; Michael Briers (PACIS, 2003)

Universal Regular Path Queries. - Oege de Moor; David Lacey; Eric Van Wyk (High. Order Symb. Comput., 2003)

Assertion-based design, Second Edition. - Harry Foster; Adam Krolnik; David Lacey (Kluwer, 2004)

Compiler Optimization Correctness by Temporal Logic. - David Lacey; Neil D. Jones; Eric Van Wyk; Carl Christian Frederiksen (High. Order Symb. Comput., 2004)

Inventing the future - The vision of the Jericho Forum. - David Lacey (Inf. Secur. Tech. Rep., 2005)

Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode. - Simon D. Hammond; David Lacey (CC, 2006)

A new institute for a new millennium. - David Lacey (Inf. Secur. Tech. Rep., 2006)

Verification Coverage: When is Enough, Enough? - Francine Bacchini; Alan J. Hu; Tom Fitzpatrick; Rajeev Ranjan; David Lacey; Mercedes Tan; Andrew Piziali; Avi Ziv (DAC, 2007)

Social Embeddedness and Sharing Security Information: Bridging the Cost Benefit Gap. - Sigi Goode; David Lacey (ACIS, 2009)

Understanding and Transforming Organisational Culture. - David Lacey (HAISA, 2009)

Program transformations using temporal logic side conditions. - Sara Kalvala; Richard Warburton; David Lacey (ACM Trans. Program. Lang. Syst., 2009)

Compilation Techniques for High Level Parallel Code. - Benedict R. Gaster; Tim Bainbridge; David Lacey; David Gardner (Int. J. Parallel Program., 2010)

Understanding and transforming organizational security culture. - David Lacey (Inf. Manag. Comput. Secur., 2010)

Exploring information security controls using information fraud episodes: case study evidence from a large telecommunications firm. - Sigi Goode; David Lacey (ECIS, 2011)

Exploring Interpersonal Relationships in Security Information Sharing. - Sigi Goode; David Lacey (ICIS, 2011)

Detecting complex account fraud in the enterprise: The role of technical and non-technical controls. - Sigi Goode; David Lacey (Decis. Support Syst., 2011)

Death by a Thousand Facts: Criticising the Technocratic Approach to Information Security Awareness. - Geordie Stewart; David Lacey (Inf. Manag. Comput. Secur., 2012)

It's Dark in There: Using Systems Analysis to Investigate Trust and Engagement in Dark Web Forums. - David Lacey; Paul M. Salmon (HCI (6), 2015)

Understanding victim-enabled identity theft. - David Lacey; Jim Zaiss; K. Suzanne Barber (PST, 2016)

Designing and evaluating two interventions to improve identity theft recovery outcomes. - Sigi Goode; David Lacey (ISTAS, 2017)

Understanding the effects of compromise and misuse of personal details on older people. - Judy Watson; David Lacey; Don V. Kerr; Paul M. Salmon; Natassia Goode (Australas. J. Inf. Syst., 2019)

Exploiting organisational vulnerabilities as dark knowledge: conceptual development from organisational fraud cases. - Sigi Goode; David Lacey (J. Knowl. Manag., 2022)