Hüttel, H. “Deciding Framed Bisimilarity”. BRICS Report Series, vol. 9, no. 25, May 2002, doi:10.7146/brics.v9i25.21741.