On specifying sets of integers - Bergstra, Jan A. 1951-; Meyer, John-Jules Ch. 1954- (Mathematisch Centrum <Amsterdam> / Afdeling Informatica: IW, 1983)