Nielsen, M.; Clausen, C. Bisimulations, Games and Logic. DPB 1994, 23.