Stuart W. Margolis Mark V. Sapir Pascal Weil Closed Subgroups in Pro-V Topologies and the Extension Problem for Inverse Automata. 405-446 2001 11 IJAC 4 http://dx.doi.org/10.1142/S0218196701000498 db/journals/ijac/ijac11.html#MargolisSW01