A metric characterization of fair computations in CCS - Costa, Gerardo (1984)