Pedersen, 2006. Logics for The Applied pi Calculus 13.. https://doi.org/10.7146/brics.v13i19.21923