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