Pyomo - Optimization Modeling in Python - Hart, William E. (Springer Optimization and Its Applications Ser.)