Jürgen Albert Derick Wood Checking Sets, Test Sets, Rich Languages and Commutatively Closed Languages. 82-91 1983 26 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss26.html#AlbertW83