Pierre-Cyrille Héam Automata for Pro-V Topologies. 135-144 2000 conf/wia/2000 CIAA http://link.springer.de/link/service/series/0558/bibs/2088/20880135.htm db/conf/wia/ciaa2000.html#Heam00