Formale Methoden zur Unterstützung logistischer Entscheidungen - Wex, Roland (1987)