Hüttel, Hans. “Deciding Framed Bisimilarity”. BRICS Report Series, bd. 9, nr. 25, maj 2002, doi:10.7146/brics.v9i25.21741.