Interactive input in PASCAL. - Robert G. Clark (ACM SIGPLAN Notices, 1979)

Designing concurrent objects. - Robert G. Clark (IRTAW, 1987)

The Design ad Development of Ada Real-Time Embedded Systems. - Robert G. Clark (Specification and Verification of Concurrent Systems, 1988)

The design and development of embedded Ada systems. - Robert G. Clark (Softw. Eng. J., 1990)

Use of LOTOS in the formal development of an OSI protocol. - Robert G. Clark; Valerie M. Jones (Comput. Commun., 1992)

Comparative programming languages (2. ed.). - Leslie B. Wilson; Robert G. Clark (Addison-Wesley, 1993)

Os Métodos Formais na Análise de Orientação por Objectos. - Ana M. D. Moreira; Robert G. Clark (SBES, 1993)

Combining Object-Oriented Analysis and Formal Description Techniques. - Ana M. D. Moreira; Robert G. Clark (ECOOP, 1994)

Rigorous Object-Oriented Analysis. - Ana M. D. Moreira; Robert G. Clark (ISOOMS, 1994)

Type safety and behavioural inheritance. - Robert G. Clark (Inf. Softw. Technol., 1995)

Adding rigour to object-oriented analysis. - Ana M. D. Moreira; Robert G. Clark (Softw. Eng. J., 1996)

SDL in Rigorus Object-Oriented Analysis (Short Paper). - Robert G. Clark; Ana M. D. Moreira (FMOODS, 1999)

Formal Specifications of User Requirements. - Robert G. Clark; Ana M. D. Moreira (Autom. Softw. Eng., 1999)

Use of E-LOTOS in Adding Formality to UML. - Robert G. Clark; Ana M. D. Moreira (J. Univers. Comput. Sci., 2000)

Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification. - Thomas Wilson; Savi Maharaj; Robert G. Clark (SEFM, 2005)

Flexible and configurable verification policies with Omnibus. - Thomas Wilson; Savi Maharaj; Robert G. Clark (Softw. Syst. Model., 2008)