Integer and nonlinear programming - Abadie, J. (North-Holland Publishing, 1970)