Frendrup, Ulrik, og Jesper Nyholm Jensen. “Checking for Open Bisimilarity in the Pi-Calculus”. BRICS Report Series 8, no. 8 (februar 8, 2001). Set november 24, 2024. https://tidsskrift.dk/brics/article/view/20463.