Literature about LePUS and LePUS3:

The following papers have been withdrawn:

• Amnon H. Eden. “Precise specification of design patterns and tool support in their application.” PhD Dissertation, Department of Computer Science, Tel Aviv University, 2000.
• Amnon H. Eden, Yoram Hirshfeld, Amiram Yehudai. “Towards a Mathematical Foundation For Design Patterns.” Technical report 1999-004, Department of Information Technology, Uppsala University.
• Amnon H. Eden, Yoram Hirshfeld, Amiram Yehudai. “LePUS—A Declarative Pattern Specification Language” Technical report 326/98, Department of Computer Science, Tel Aviv University.

Available for download are preprints more recent publications on LePUS3 such as the following:

• Amnon H. Eden, with contributions from Jonathan Nicholson. Codecharts: Roadmaps and Blueprints for Object-Oriented Programs. Hoboken, New Jersey: Wiley-Blackwell, 2011.
• Jonathan Nicholson, Epameinondas Gasparis, Amnon H. Eden, Rick Kazman: “Automated Verification of Design Patterns with LePUS3.” 1st NASA Formal Methods Symposium, Moffett Field, California, 6—8 April 2009
• Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden. “LePUS3: An Object-Oriented Design Description Language”. In: Gem Stapleton et al. (eds.) DIAGRAMS 2008. LNAI 5223, pp. 364–367. Berlin: Springer, 2008
• Amnon H Eden, Epameinondas Gasparis, Jonathan Nicholson. "LePUS3 and Class-Z Reference Manual". Department of Computer Science, University of Essex, Tech. Rep. CSM-474, ISSN 1744-8050 (2007)

More material about LePUS3 can be found in the at the Reference section of the LePUS3 and Class-Z Website.