Operations Research by Markus Wessler