OS6 - an experimental operating system for a small computer. Part 1: general principles and structure. - Joseph E. Stoy; Christopher S. Strachey (Comput. J., 1972)

OS6 - an experimental operating system for a small computer. Part 2: input/output and filing system. - Joseph E. Stoy; Christopher S. Strachey (Comput. J., 1972)

Foundations of Denotational Semantics. - Joseph E. Stoy (Abstract Software Specifications, 1979)

The Congruence of two Programming Language Definitions. - Joseph E. Stoy (Theor. Comput. Sci., 1981)

Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. - Shail Aditya; Arvind 001; Joseph E. Stoy (FPCA, 1995)

A Lambda Calculus with Letrecs and Barriers. - Arvind 001; Jan-Willem Maessen; Rishiyur S. Nikhil; Joseph E. Stoy (FSTTCS, 1996)

LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. - Arvind 001; Jan-Willem Maessen; Rishiyur S. Nikhil; Joseph E. Stoy (HLCL, 1998)

Christopher Strachey and Fundamental Concepts. - Joseph E. Stoy (High. Order Symb. Comput., 2000)

Proofs of Correctness of Cache-Coherence Protocols. - Joseph E. Stoy; Xiaowei Shen; Arvind 001 (FME, 2001)

Reliable design with multiple clock domains. - E. Czeck; Ravi Nanavati; Joseph E. Stoy (MEMOCODE, 2006)