LePUS3: An Object-Oriented Design Description Language. - Epameinondas Gasparis; Jonathan Nicholson; Amnon H. Eden (Diagrams, 2008)

The design navigator: charting java programs. - Epameinondas Gasparis; Amnon H. Eden; Jonathan Nicholson; Rick Kazman (ICSE Companion, 2008)

Navigating Through the Design of Object-Oriented Programs. - Epameinondas Gasparis; Jonathan Nicholson; Amnon H. Eden; Rick Kazman (WCRE, 2008)

Verification of Design Patterns with LePUS3. - Jonathan Nicholson; Epameinondas Gasparis; Amnon H. Eden; Rick Kazman (NASA Formal Methods, 2009)

A Theory of Classes from the Theoretical Foundations of LePUS3. - Jonathan Nicholson (ICFEM, 2011)

On the theoretical foundations of LePUS3 and its application to object-oriented design verification. - Jonathan Nicholson (2011)

Formalising Simple Codecharts. - Jon Nicholson; Aidan J. Delaney (Diagrams, 2012)

Formalizing the Syntax of Codecharts. - Jon Nicholson; Aidan J. Delaney; Gem Stapleton (DMS, 2012)

Linking codecharts with programs. - Jon Nicholson; Aidan J. Delaney; Gem Stapleton (VL/HCC, 2012)

Modeling and visualizing object-oriented programs with Codecharts. - Amnon H. Eden; Epameinondas Gasparis; Jonathan Nicholson; Rick Kazman (Formal Methods Syst. Des., 2013)

Generating and Navigating Large Euler Diagrams. - Aidan J. Delaney; Eric Kow; Peter Chapman; Jon Nicholson (ED/GViP@Diagrams, 2014)

Automated verification of design patterns: A case study. - Jonathan Nicholson; Amnon H. Eden; Epameinondas Gasparis; Rick Kazman (Sci. Comput. Program., 2014)

Round-trip engineering with the Two-Tier Programming Toolkit. - Amnon H. Eden; Epameinondas Gasparis; Jon Nicholson; Rick Kazman (Softw. Qual. J., 2018)