1.
Pedersen M. Logics for The Applied pi Calculus. BRICS [Internet]. 2006Dec.12 [cited 2020Jul.12];13(19). Available from: https://tidsskrift.dk/brics/article/view/21923