Nielsen, M., and C. Clausen. “Bisimulations, Games, and Logic”. BRICS Report Series, vol. 1, no. 6, Apr. 1994, doi:10.7146/brics.v1i6.21664.