D. J. Walker: Bisimulations and Divergence. LICS 1988: 186-192