Nielsen, M. and Clausen, C. (1994) “Bisimulations, Games and Logic”, DAIMI Report Series, 23(467). doi: 10.7146/dpb.v23i467.6940.