Introducing the notion of processes to hardware. - Jan L. A. van de Snepscheut; Gert Slavenburg (SIGARCH Comput. Archit. News, 1979)

SATHE: Some Aspects of an ALGOL Implementation. - F. E. J. Kruseman Aretz; Jan L. A. van de Snepscheut; H. Grasdijk; J. M. H. Smeets (Softw. Pract. Exp., 1980)

Synchronous Communication Between Asynchronous Components. - Jan L. A. van de Snepscheut (Inf. Process. Lett., 1981)

Trace Theory and VLSJ Design - Jan L. A. van de Snepscheut (Springer, 1985)

Evaluating Expressions with a Queue. - Jan L. A. van de Snepscheut (Inf. Process. Lett., 1985)

An Alternative Implementation of Communication Primitives. - Jan L. A. van de Snepscheut; Jan Tijmen Udding (Inf. Process. Lett., 1986)

A Derivation of a Distributed Implementation of Warshall's Algorithm. - Jan L. A. van de Snepscheut (Sci. Comput. Program., 1986)

The Twisted Cube. - Peter A. J. Hilbers; Marion R. J. Koopman; Jan L. A. van de Snepscheut (PARLE (1), 1987)

Fair Mutual Exclusion on a Graph of Processes. - Jan L. A. van de Snepscheut (Distributed Comput., 1987)

"Algorithms for On-the-Fly Garbage Collection" Revisited. - Jan L. A. van de Snepscheut (Inf. Process. Lett., 1987)

On the design of some systolic algorithms. - Jan L. A. van de Snepscheut; Johan B. Swenker (J. ACM, 1989)

An Algorithm for Transitive Reduction of an Acyclic Graph. - David Gries; Alain J. Martin; Jan L. A. van de Snepscheut; Jan Tijmen Udding (Sci. Comput. Program., 1989)

Distributed Sorting. - H. Peter Hofstee; Alain J. Martin; Jan L. A. van de Snepscheut (Sci. Comput. Program., 1990)

Foreword (Special Issue on Mathematics of Program Construction). - Jan L. A. van de Snepscheut (Sci. Comput. Program., 1990)

An Interconnection Network for Distributed Recursive Computations. - Alain J. Martin; Jan L. A. van de Snepscheut (IEEE Trans. Computers, 1990)

A Distributed Implementation of a Task Pool. - H. Peter Hofstee; Johan J. Lukkien; Jan L. A. van de Snepscheut (Research Directions in High-Level Parallel Programming Languages, 1991)

Inversion of a Recursive Tree Traversal. - Jan L. A. van de Snepscheut (Inf. Process. Lett., 1991)

Weakest Preconditions for Progress. - Johan J. Lukkien; Jan L. A. van de Snepscheut (Formal Aspects Comput., 1992)

A LISP Programming Exercise. - Jan L. A. van de Snepscheut (Inf. Process. Lett., 1992)

What Computing Is All About. - Jan L. A. van de Snepscheut (Springer, 1993)

Mechanized Support for Stepwise Refinement. - Jan L. A. van de Snepscheut (Programming Languages and System Architectures, 1994)

Semantics of Exceptions. - K. Rustan M. Leino; Jan L. A. van de Snepscheut (PROCOMET, 1994)

The Sliding-Window Protocol Revisited. - Jan L. A. van de Snepscheut (Formal Aspects Comput., 1995)