The Complement of a Finite Index Matrix Language Is Context Sensitive Gheorghe Paun 166-174 Information and Control December 1980 47 3 db/journals/iandc/iandc47.html#Paun80