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