Pedersen, Michael David. 2006. “Logics for The Applied Pi Calculus”. BRICS Report Series 13 (19). https://doi.org/10.7146/brics.v13i19.21923.