Combinatorial programming proc. nasi 1974 by