Bergstra, Jan A.; Meyer, John-J. Ch. On specifying sets of integers. (English) Zbl 0554.68008 Elektron. Inform.-verarb. Kybernetik 20, 531-541 (1984). MSC: 68P05 68Q65 68N01 68Q60 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J.-J. Ch. Meyer}, Elektron. Informationsverarbeitung Kybernetik 20, 531--541 (1984; Zbl 0554.68008)
Bergstra, Jan A.; Klop, Jan W. Initial algebra specifications for parametrized data types. (English) Zbl 0516.68019 Elektron. Inform.-verarb. Kybernetik 19, 17-31 (1983). MSC: 68P05 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. W. Klop}, Elektron. Informationsverarbeitung Kybernetik 19, 17--31 (1983; Zbl 0516.68019)
Bergstra, Jan A.; Klop, Jan Willem Strong normalization and perpetual reductions in the lambda calculus. (English) Zbl 0523.03009 Elektron. Inform.-verarb. Kybernetik 18, 403-417 (1982). MSC: 03B40 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. W. Klop}, Elektron. Informationsverarbeitung Kybernetik 18, 403--417 (1982; Zbl 0523.03009)