The taming of the pointer. - Piotr Dembinski; Richard L. Schwartz (ACM SIGPLAN Notices, 1977)

Parallel Compilation: A Design and Its Application to SIMULA 67. - Richard L. Schwartz (Comput. Lang., 1978)

An Aximatic Treatment of Algol 68 Routines. - Richard L. Schwartz (ICALP, 1979)

A semantic view of ALGOL 68. - Richard L. Schwartz; Daniel M. Berry (Comput. Lang., 1979)

United and Discriminated Record Types in Strongly Typed Languages. - Daniel M. Berry; Richard L. Schwartz (Inf. Process. Lett., 1979)

Aliasing Among Pointers in EUCLID. - Richard L. Schwartz (Inf. Process. Lett., 1979)

Type equivalence in strongly typed languages: one more look. - Daniel M. Berry; Richard L. Schwartz (ACM SIGPLAN Notices, 1979)

Automatic Construction of Verification Condition Generators From Hoare Logics. - Mark Moriconi; Richard L. Schwartz (ICALP, 1981)

Temporal Logic Specification of Distributed Systems. - Richard L. Schwartz; P. M. Melliar-Smith (ICDCS, 1981)

The Finalization Operation for Abstract Types. - Richard L. Schwartz; P. M. Melliar-Smith (ICSE, 1981)

STP: A Mechanized Logic for Specification and Verification. - Robert E. Shostak; Richard L. Schwartz; P. M. Melliar-Smith (CADE, 1982)

The proof of SIFT. - P. M. Melliar-Smith; Richard L. Schwartz (ACM SIGSOFT Softw. Eng. Notes, 1982)

Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System. - P. M. Melliar-Smith; Richard L. Schwartz (IEEE Trans. Computers, 1982)

From State Machines to Temporal Logic: Specification Methods for Protocol Standards. - Richard L. Schwartz; P. Michael Melliar-Smith (IEEE Trans. Commun., 1982)

Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. - Richard L. Schwartz; P. M. Melliar-Smith; Friedrich H. Vogt (Protocol Specification, Testing, and Verification, 1983)

An Interval-Based Temporal Logic. - Richard L. Schwartz; P. M. Melliar-Smith; Friedrich H. Vogt (Logic of Programs, 1983)

An Interval Logic for Higher-Level Temporal Reasoning. - Richard L. Schwartz; P. M. Melliar-Smith; Friedrich H. Vogt (PODC, 1983)

Data Base Distribution and Concurrency for End-Users (Abstract). - Richard L. Schwartz (Concurrency, 1988)