Nets, Terms and Formulas Tree views of Concurrent Processes and Their Relationship - Olderog, E.-R (Cambridge University Press, 1991)
includes bibl. references