Nielsen, M.; Clausen, C. Bisimulations, Games, and Logic. BRICS 1994, 1.