Boolean methods in operations research and related areas. - Hammer, P. L., 1936-; Rudeanu, Sergiu (Springer-Verlag, 1968)