M. D. Pedersen, “Logics for The Applied pi Calculus”, BRICS, bd. 13, nr. 19, dec. 2006.