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