Algebraic specifications for parametrized data types : the case of minimal computable algebras and parameters with equality / P.H. RodenburgSpecification of the fast fourier transform algorithm as a term rewriting system / P.H. Rodenburg, D.J. HoekzemaGauss elimination as a term rewriting system / P.H. Rodenburg, D.J. HoekzemaManufacturing a Cartesian closed category with exactly two objects out of a C-monoid / P.H. Rodenburg, F.J. van der LindenAn interpolation theorem in equational logic / P.H. Rodenburg, R.J. van GlabbeekParallel object-oriented term rewriting : the Booleans / P.H. Rodenburg, J.L.M. VranckenInterpolation in equational logic / P.H. RodenburgIntuitionistic correspondence theory / door Pieter Hendrik Rodenburg