Explicit canonical representatives for weak bisimulation equivalence and congruence - Rutten, J. J. M. M. (1990)