Pedersen, Michael David. “Logics for The Applied Pi Calculus”. BRICS Report Series 13, no. 19 (December 12, 2006). Accessed May 2, 2024. https://tidsskrift.dk/brics/article/view/21923.