ERIL - Equational Reasoning: an Interactive Laboratory. - A. J. J. Dick (European Conference on Computer Algebra (2), 1985)

Rewrite Systems on a Lattice of Types. - Jim Cunningham; A. J. J. Dick (Acta Informatica, 1985)

Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning. - A. J. J. Dick; Jim Cunningham (CADE, 1986)

Order-sorted equational reasoning and rewrite systems. - Alan Jeremy Jeffcoat Dick (1988)

Computer Aided Transformation of Z into Prolog. - A. J. J. Dick; Paul J. Krause; J. Cozens (Z User Workshop, 1989)

Automating the Knuth Bendix Ordering. - Jeremy Dick; John Kalmus; Ursula Martin (Acta Informatica, 1990)

Integrating Structured and Formal Methods: A Visual Approach to VDM. - Jeremy Dick; Jérôme Loubersac (ESEC, 1991)

The Visual Presentation of VDM Specifications. - Jeremy Dick; Jérôme Loubersac (VDM Europe (1), 1991)

An Introduction to Knuth-Bendix Completion. - A. J. J. Dick (Comput. J., 1991)

Order-Sorted Term Rewriting. - A. J. J. Dick; Phil Watson (Comput. J., 1991)

Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. - Jeremy Dick; Alain Faivre (FME, 1993)

Quantitative Analysis of an Application of Formal Methods. - Juan Bicarregui; Jeremy Dick; Eoin Woods (FME, 1996)

Applying the B Technologies on CICS. - Jonathan Hoare; Jeremy Dick; David Neilson; Ib Holm Sørensen (FME, 1996)

A Visual Approach to VDM. - Jeremy Dick; Jérôme Loubersac (SOFSEM, 1996)

Lessons learned from rigorous system software development. - Jeremy Dick; Eoin Woods (Inf. Softw. Technol., 1997)

Making the Most of Formal Specification Through Animation, Testing and Proof. - Juan Bicarregui; Jeremy Dick; Brian Matthews; Eoin Woods (Sci. Comput. Program., 1997)

Requirements Engineering. - M. Elizabeth C. Hull; Ken Jackson; Jeremy Dick (Springer, 2002)

Requirements Engineering, Second Edition. - M. Elizabeth C. Hull; Ken Jackson; Jeremy Dick (Springer, 2005)

Are Requirements Engineering best practices the same for all industries?. - Gauthier Fanmuy; Frederique Populus; Jean Rene; Jeremy Dick; Sjaak Brinkkemper; Matthias Weber 001; Philippe Baron (RE, 2005)

Specifying process and measuring progress in terms of information state. - A. J. J. Dick; M. Elizabeth C. Hull; Ken Jackson (J. Syst. Softw., 2005)

Design Traceability. - Jeremy Dick (IEEE Softw., 2005)

A Requirements Guide For All (REGAL): An INCOSE Initiative. - Jeremy Dick (RE, 2006)

Using formal specifications to support testing. - Robert M. Hierons; Kirill Bogdanov 002; Jonathan P. Bowen; Rance Cleaveland; John Derrick; Jeremy Dick; Marian Gheorghe 001; Mark Harman; Kalpesh Kapoor; Paul J. Krause; Gerald Lüttgen; Anthony J. H. Simons; et al. (ACM Comput. Surv., 2009)

Requirements Engineering: Principles and Practice. - Jeremy Dick (Encyclopedia of Software Engineering, 2010)

On the Use of Attributes to Manage Requirements. - Louis S. Wheatcraft; Michael J. Ryan; Jeremy Dick (Syst. Eng., 2016)

Requirements Engineering, 4th Edition - Jeremy Dick; M. Elizabeth C. Hull; Ken Jackson (Springer, 2017)