Carla Selmi Over Testable Languages. 157-190 1996 161 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs161.html#Selmi96 http://dx.doi.org/10.1016/0304-3975(95)00100-X