On the Specification of the Display of Documents in Multi-lingual Computing. - Myatav Erdenechimeg; Richard Moore 001; Yumbayar Namsrai (PODDP, 1998)

A Formal Basis for Object-Oriented Patterns. - Alejandra Cechich; Richard Moore 001 (APSEC, 1999)

A Formal Model of Object-Oriented Design and GoF Design Patterns. - Andres Flores; Richard Moore 001; Luis Reynoso (FME, 2001)

A formal model for verifying compound design patterns. - Gabriela N. Aranda; Richard Moore 001 (SEKE, 2002)