https://5dok.net/document/y6e0ke25-university-groningen-optimal-bounds-bounded-optimality-böhm-udo.html