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