Algorithm 99: Evaluation of Jacobi symbol. - Stephen J. Garland; Anthony W. Knapp (Commun. ACM, 1962)

Translating recursion schemes into program schemes. - Stephen J. Garland; David C. Luckham (Proving Assertions About Programs, 1972)

On the Equivalence of Schemes - Stephen J. Garland; David C. Luckham (STOC, 1972)

Generalized Interpolation Theorems. - Stephen J. Garland (J. Symb. Log., 1972)

Program Schemes, Recursion Schemes, and Formal Languages. - Stephen J. Garland; David C. Luckham (J. Comput. Syst. Sci., 1973)

A new master's degree program at Dartmouth College. - Stephen J. Garland; A. Kent Morton (ACM SIGCSE Bull., 1979)

Advanced placement program in computer science(Panel Session). - David C. Rine; J. R. Jefferson Wadkins; Stephen J. Garland (SIGCSE, 1983)

Advanced placement in Computer Science (panel session): college level computer science in the high schools. - Frank H. Young; Stephen J. Garland; Robert Poland; David C. Rine (ACM Conference on Computer Science, 1986)

LP: The Larch Prover. - Stephen J. Garland; John V. Guttag (CADE, 1988)

Inductive Methods for Reasoning about Abstract Data Types. - Stephen J. Garland; John V. Guttag (POPL, 1988)

Localized Verification of Circuit Descriptions. - Jørgen Staunstrup; Stephen J. Garland; John V. Guttag (Automatic Verification Methods for Finite State Systems, 1989)

An Overview of LP, The Larch Power. - Stephen J. Garland; John V. Guttag (RTA, 1989)

Using LP to Debug Specifications. - Stephen J. Garland; John V. Guttag (Programming Concepts and Methods, 1990)

Debugging Larch Shared Language Specifications. - Stephen J. Garland; John V. Guttag; James J. Horning (IEEE Trans. Software Eng., 1990)

A Parallel Completion Procedure for Term Rewriting Systems. - Katherine A. Yelick; Stephen J. Garland (CADE, 1992)

Using Transformations and Verification in Ciruit Design. - James B. Saxe; Stephen J. Garland; John V. Guttag; James J. Horning (Designing Correct Circuits, 1992)

Mechanized Verification of Circuit Descriptions Using the Larch Prover. - Jørgen Staunstrup; Stephen J. Garland; John V. Guttag (TPCD, 1992)

Computer-Assisted Simulation Proofs. - Jørgen F. Søgaard-Andersen; Stephen J. Garland; John V. Guttag; Nancy A. Lynch; Anna Pogosyants (CAV, 1993)

An Overview of Larch. - Stephen J. Garland; John V. Guttag; James J. Horning (Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993)

Using Transformations and Verification in Circuit Design. - James B. Saxe; James J. Horning; John V. Guttag; Stephen J. Garland (Formal Methods Syst. Des., 1993)

Larch: Languages and Tools for Formal Specification - John V. Guttag; James J. Horning; Stephen J. Garland; Kevin D. Jones; A. Modet; Jeannette M. Wing (Springer, 1993)

Verifying timing properties of concurrent algorithms. - Victor Luchangco; Ekrem Söylemez; Stephen J. Garland; Nancy A. Lynch (FORTE, 1994)

Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. - Tsvetomir P. Petrov; Anna Pogosyants; Stephen J. Garland; Victor Luchangco; Nancy A. Lynch (FORTE, 1996)

Active Reliable Multicast. - Li-Wei H. Lehman; Stephen J. Garland; David L. Tennenhouse (INFOCOM, 1998)

Mechanical Translation of I/O Automaton Specifications into First-Order Logic. - Andrej Bogdanov; Stephen J. Garland; Nancy A. Lynch (FORTE, 2002)

Using simulated execution in verifying distributed algorithms. - Toh Ne Win; Michael D. Ernst; Stephen J. Garland; Dilsun Kirli Kaynar; Nancy A. Lynch (Int. J. Softw. Tools Technol. Transf., 2004)