M. Nielsen and C. Clausen, “Bisimulations, Games and Logic”, DPB, vol. 23, no. 467, Apr. 1994.