Manuel Lerman: Ideals of Generalized Finite Sets in Lattices of α-Recursively Enumerable Sets. Math. Log. Q. 22(1): 347-352 (1976)