Nielsen, Mogens, og Christian Clausen. “Bisimulations, Games, and Logic”. BRICS Report Series, bd. 1, nr. 6, april 1994, doi:10.7146/brics.v1i6.21664.