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