Global optimization - Torn, Aimo (Lecture notes in computer science, 1989)