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