Correction [to "Linearity of sequential machines"] | IEEE Journals & Magazine | IEEE Xplore