Nets, terms and formulas three views of concurrent processes and their relationship - Olderog, Ernst-Rüdiger 1955- (Cambridge Univ. Press, 1991)
Literaturverz. S. 241 - 252