Hüttel, Hans. “Deciding Framed Bisimilarity”. BRICS Report Series 9, no. 25 (May 5, 2002). Accessed December 5, 2025. https://tidsskrift.dk/brics/article/view/21741.