Studies in foundations and combinatorics (Acad. Press, 1978)