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