Making the Error-Controlling Algorithm of Observable Operator Models Constructive | MIT Press Journals & Magazine | IEEE Xplore