Takahashi, H. "Undecidable questions about the maximum invariant set," Information and Control, vol. 33, pp. 1-34, Jan. 1977

Languages mentioned

• CONDOR {1980}