Disjunctive Programming - Egon Balas (Springer, 2018)