Nets, terms and formulas : three views of concurrent processes and their relationship /
Olderog, E.-R.
Cambridge : Cambridge University Press,
1991.