An Implementation of Mutual Inclusion. - Rob R. Hoogerwoord (Inf. Process. Lett., 1986)

A Calculational Derivation of the Casop Algorithm. - Rob R. Hoogerwoord (Inf. Process. Lett., 1990)

A Derivation of a Serial-Parallel Multiplier. - Jo C. Ebergen; Rob R. Hoogerwoord (Sci. Comput. Program., 1990)

A Logarithmic Implementation of Flexible Arrays. - Rob R. Hoogerwoord (MPC, 1992)

A Derivation of Huffman's Algorithm. - Rob R. Hoogerwoord (MPC, 1992)

A Symmetric Set of Efficient List Operations. - Rob R. Hoogerwoord (J. Funct. Program., 1992)

Programming by Calculation. - Rob R. Hoogerwoord (APPIA-GULP-PRODE, 1996)

Formality works. - Rob R. Hoogerwoord (Inf. Process. Lett., 2001)