The Miller scheme in semigroup theory