1. Baldan, P.: Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars. PhD thesis, Dipartimento di Informatica, Università di Pisa (2000)
2. Lecture Notes in Computer Science;P. Baldan,2001
3. Lecture Notes in Computer Science;P. Baldan,2004
4. Lecture Notes in Computer Science;P. Baldan,1998
5. Lecture Notes in Computer Science;P. Baldan,1999