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