Text this: Boolean methods in operations research and related areas /