Eidgenössische Technische Hochschule. Institut für Operations Research.