Introduction to operation research - Churchman