Rabbitcount : = Rabbitcount - 1. - Jaap van der Woude (MPC, 1989)

Playing with Patterns, Searching for Strings. - Jaap van der Woude (Sci. Comput. Program., 1989)

Polynomial Relators (Extended Abstract). - Roland Carl Backhouse; Peter J. de Bruin; Paul F. Hoogendijk; Grant Malcolm; Ed Voermans; Jaap van der Woude (AMAST, 1991)

Demonic Operators and Monotype Factors. - Roland Carl Backhouse; Jaap van der Woude (Math. Struct. Comput. Sci., 1993)

Categorical Fixed Point Calculus. - Roland Carl Backhouse; Marcel Bijsterveld; Rik van Geldrop; Jaap van der Woude (Category Theory and Computer Science, 1995)

Fixed-Point Calculus. - Chritiene Aarts; Roland Carl Backhouse; Eerke A. Boiten; Henk Doornbos; Netty van Gasteren; Rik van Geldrop; Paul F. Hoogendijk; Ed Voermans; Jaap van der Woude (Inf. Process. Lett., 1995)

A Calculational Approach to Mathematical Induction. - Henk Doornbos; Roland Carl Backhouse; Jaap van der Woude (Theor. Comput. Sci., 1997)

Ampersand - Applying Relation Algebra in Practice. - Gerard Michels; Sebastiaan J. C. Joosten; Jaap van der Woude; Stef Joosten (RAMiCS, 2011)

Relational Heterogeneity Relaxed by Subtyping. - Jaap van der Woude; Stef Joosten (RAMiCS, 2011)

Components and acyclicity of graphs. An exercise in combining precision with concision. - Roland Carl Backhouse; Henk Doornbos; Roland Glück; Jaap van der Woude (J. Log. Algebraic Methods Program., 2022)