APROS: Algorithmic Development Methodology for Discrete-Continuous Optimization Problems. - Granville E. Paules IV; Christodoulos A. Floudas (Oper. Res., 1989)