Sequential Theories and Infinite Distributivity in the Lattice of Chapters. - Alan S. Stern (J. Symb. Log., 1989)

A Class of Connected Theories of Order. - Alan S. Stern; Stanislaw Swierczkowski (J. Symb. Log., 1994)

User-Level Implementations of Read-Copy Update. - Mathieu Desnoyers; Paul E. McKenney; Alan S. Stern; Michel R. Dagenais; Jonathan Walpole (IEEE Trans. Parallel Distributed Syst., 2012)

Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel. - Jade Alglave; Luc Maranget; Paul E. McKenney; Andrea Parri; Alan S. Stern (ASPLOS, 2018)