SMS versenden: Mathematical models in ship operation - a selected bibliography