Semi-Group, Group Quotient and Homogeneous Automata M. W. Warner 59-66 Information and Control October 1980 47 1 db/journals/iandc/iandc47.html#Warner80