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

Making Functionality More General. - Graham Hutton; Ed Voermans (Functional Programming, 1991)

Pers as Types, Inductive Types and Types with Laws. - Ed Voermans (Declarative Programming, 1991)

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)

The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra. - Roland Carl Backhouse; Ed Voermans (CoRR, 2023)

The Thins Ordering on Relations. - Ed Voermans; Jules Desharnais; Roland Carl Backhouse (CoRR, 2024)

Diagonals and Block-Ordered Relations. - Roland Carl Backhouse; Ed Voermans (CoRR, 2024)