Optimal sequence of refinements | Bryan | ObservableOptimal sequence of refinements | Bryan | Observable