Topology in Process Calculus : Approximate correctness and infinite evolution of concurrent programs - Ying, Min Sheng (Springer, 2001)