Definition mechanisms in extensible programming languages. - Stephen A. Schuman; Philippe Jorrand (AFIPS Fall Joint Computing Conference, 1970)

An extensible interpreter. - Stephen A. Schuman (International Symposium on Extensible Languages, 1971)

Non-Deterministic System Specification. - Jean-Raymond Abrial; Stephen A. Schuman (Semantics of Concurrent Computation, 1979)

Specification Language. - Jean-Raymond Abrial; Stephen A. Schuman; Bertrand Meyer 001 (On the Construction of Programs, 1980)

A methodology for verifying request processing protocols. - Christos Nikolaou; Edmund M. Clarke; Nissim Francez; Stephen A. Schuman (SIGCOMM, 1983)

Object-Oriented Process Specification. - Stephen A. Schuman; David H. Pitt; Paddy H. Byers (Specification and Verification of Concurrent Systems, 1988)

Introduction. - Bernhard Möller; Helmuth Partsch; Stephen A. Schuman (Formal Program Development, 1993)