Text this: Semi-infinite programming and applications :