Global optimization - Törn, Aimo (Lecture notes in computer science ;, 1989)