Nets, terms, and formulas : - Olderog, E.-R (Cambridge tracts in theoretical computer science, 1991)