A Forcing Approach to Strict-II11 Reflection and Strict-II11 = ∑01. - W. Richard Stark (Math. Log. Q., 1978)

Automatic model construction. - W. Richard Stark (Inf. Sci., 1980)

Martin's Axiom in the Model Theory of LA. - W. Richard Stark (J. Symb. Log., 1980)

A Logic of Knowledge. - W. Richard Stark (Math. Log. Q., 1981)

Homeostasis in synchronous distributed computation, a formal view. - W. Richard Stark (Inf. Sci., 1983)

A glimpse into the paradise of combinatory algebra. - W. Richard Stark (Int. J. Parallel Program., 1984)

Combinatory automaton. - W. Richard Stark (SIGACT News, 1984)

The Social Metaphor for Distributed Processing. - W. Richard Stark; Leon Kotin (J. Parallel Distributed Comput., 1989)

On the Complexity of Deadlock-Free Programs on a Ring of Processors. - William Edwin Clark; Gregory L. McColm; W. Richard Stark (J. Parallel Distributed Comput., 1992)

Dynamics for a Fundamental Problem of Biological Information Processing. - W. Richard Stark (Int. J. Artif. Intell. Tools, 1995)

Amorphous computing: examples, mathematics and theory. - W. Richard Stark (Nat. Comput., 2013)

Random choice in amorphous processes. - W. Richard Stark (Nat. Comput., 2015)