William L. Reddy On Positively Expansive Maps. 76-81 1972 6 Mathematical Systems Theory 1 db/journals/mst/mst6.html#Reddy72