Operations Research and Information Engineering Henrik Spoon