Takahashi, H. "The maximum invariant set of an automaton system," Information and Control, vol. 32, pp. 307-354, Dec. 1976.

Languages mentioned

• CONDOR {1980}