The algorithm of Maas and Pope (1992) is presented as a method for identification of invariant reduced-order manifolds for stable systems which exhibit dynamics with a time-scale separation. While this method has been published previously in the literature, theoretical justification for the algorithm was not presented in the original work. Here, it will be shown rigorously that the algorithm co...