William L. Reddy Lifting Expansive Homeomorphisms to Symbolic Flows. 91-95 1968 2 Mathematical Systems Theory 1 db/journals/mst/mst2.html#Reddy68