1. BERGSTRA J.m. lermmologte van AtgeOratsctte ~pec~tcattes. t~auwer L)eventer I ne Nemerlantas 1987 (in Dutch). BERGSTRA J.m. lermmologte van AtgeOratsctte ~pec~tcattes. t~auwer L)eventer I ne Nemerlantas 1987 (in Dutch).
2. BERGSTRA J. A. KLEIJN H. C. M. AND NOUWT P. On the algebraic specification of infinite data types using monoidal auxiliary functions. Rep. 80-43. Institute of Applied Mathematics and Computer Science Univ. Leiden Leiden The Netherlands 1980. BERGSTRA J. A. KLEIJN H. C. M. AND NOUWT P. On the algebraic specification of infinite data types using monoidal auxiliary functions. Rep. 80-43. Institute of Applied Mathematics and Computer Science Univ. Leiden Leiden The Netherlands 1980.
3. Small specifications for large finite data structures;BERGSTRA J. A.;Internat. J. Comput. Math.,1981
4. The equational specification of finite minimal unoids using unary hidden functions only;BERGSTRA J. A.;Fund. Inf. V,1982