M. Nielsen and C. Clausen, “Bisimulations, Games, and Logic”, BRICS, vol. 1, no. 6, Apr. 1994.