Topology in Process Calculus Approximate Correctness and Infinite Evolution of Concurrent Programs - Ying, Mingsheng (Springer New York, 2001)