Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy. - Stanley S. Wainer (J. Symb. Log., 1972)

A Hierarchy for the 1-Section of Any Type Two Object. - Stanley S. Wainer (J. Symb. Log., 1974)

The 1-Section of a Countable Functional. - Dag Normann; Stanley S. Wainer (J. Symb. Log., 1980)

European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979. - F. R. Drake; Stanley S. Wainer (J. Symb. Log., 1981)

The Slow-Growing and the Grzecorczyk Hierarchies. - E. A. Cichon; Stanley S. Wainer (J. Symb. Log., 1983)

Members of countable π10 classes. - Douglas A. Cenzer; Peter Clote; Rick L. Smith; Robert I. Soare; Stanley S. Wainer (Ann. Pure Appl. Log., 1986)

A plus-1 theorem for sub-sections. - Stanley S. Wainer (Arch. Math. Log., 1988)

Slow Growing Versus Fast Growing. - Stanley S. Wainer (J. Symb. Log., 1989)

Provable Computable Functions on Abstract Data Types. - John V. Tucker; Stanley S. Wainer; Jeffery I. Zucker (ICALP, 1990)

Ordinal Complexity of Recursive Definitions - M. V. H. Fairtlough; Stanley S. Wainer (Inf. Comput., 1992)

Program Transformation and Proof Transformation. - Wilfried Sieg; Stanley S. Wainer (CSL, 1993)

The Hierarchy of terminating Recursive Programs over N. - Stanley S. Wainer (LCC, 1994)

Equational Derivation vs. Computation. - W. G. Handley; Stanley S. Wainer (Ann. Pure Appl. Log., 1994)

Accessible Segments of the Fast Growing Hierarchy. - Stanley S. Wainer (Logic Colloquium, 1995)

Editorial Logic Colloquium '95, Haifa, Israel. - Gerhard Jäger; Wolfram Pohlers; Stanley S. Wainer (Arch. Math. Log., 1998)

Accessible recursive functions. - Stanley S. Wainer (Bull. Symb. Log., 1999)

Complexity in Predicative Arithmetic. - Geoffrey E. Ostrin; Stanley S. Wainer (CiE, 2005)

Elementary arithmetic. - Geoffrey E. Ostrin; Stanley S. Wainer (Ann. Pure Appl. Log., 2005)

Inductive definitions over a predicative arithmetic. - Stanley S. Wainer; Richard S. Williams (Ann. Pure Appl. Log., 2005)

Proofs and Computations. - Helmut Schwichtenberg; Stanley S. Wainer (Association for Symbolic Logic, 2012)

Guest Editorial. - Jan A. Bergstra; Jens Blanck; Faron Moller; Stanley S. Wainer (Comput. J., 2013)

S. Barry Cooper (1943-2015). - Richard Elwes; Andy Lewis-Pye; Benedikt Löwe; Dugald Macpherson; Dag Normann; Andrea Sorbi; Alexandra A. Soskova; Mariya Ivanova Soskova; Peter van Emde Boas; Stanley S. Wainer (Comput., 2018)

Goodstein sequences based on a Parametrized Ackermann-Péter function. - Toshiyasu Arai; Stanley S. Wainer; Andreas Weiermann (Bull. Symb. Log., 2021)