1. ~BERGSTRA J. A. KLOP J. W. AND MIDDELDORP A. 1989. Terrnherschrijfsystemen (in Dutch). ~Kluwer Amsterdam The Netherlands. ~BERGSTRA J. A. KLOP J. W. AND MIDDELDORP A. 1989. Terrnherschrijfsystemen (in Dutch). ~Kluwer Amsterdam The Netherlands.
2. ~BE}mST~ J. A. AND TUCI~R J. V. 1979. Algebraic specifications of computable and semicom- ~ putable data structures. Department of Computer Science Research Report IW 115/79. ~ Mathematical Centre Amsterdam The Netherlands. ~BE}mST~ J. A. AND TUCI~R J. V. 1979. Algebraic specifications of computable and semicom- ~ putable data structures. Department of Computer Science Research Report IW 115/79. ~ Mathematical Centre Amsterdam The Netherlands.
3. A natural data type with a finite equational final ~ semantics specification, but no effective equational initial specification;~BERGSTRA J. A.;Bull. EA TCS,1980
4. Initial and final algebra semantics for data type ~specifications: Two characterisation theorems;~BERGSTRA J.;SIAM J. Comput.,1983