1. A. Corradini, P. Degano, and U. Montanari. Specifying highly concurrent data structure manipulation. In G. Bucci and G. Valle, editors, COMPUTING 85: A Broad Perspective of Current Developments. Elsevier Science, 1985.
2. A. Corradini and U. Montanari, editors. Proc. SEGRAGRA95 (Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation). Elsevier, Electronic Notes on Theoretical Computer Science, 1995.
3. Rina Dechter. From local to global consistency. Artificial Intelligence, 55:87–107, 1992.
4. P. Degano and U. Montanari. A model for distributed systems based on graph rewritings. Journal of ACM, 34(2), 1987.
5. R. Dechter and J. Pearl. Network-Based Heuristics for Constraint-Satisfaction Problems. In Kanal and Kumar, editors, Search in Artificial Intelligence. Springer-Verlag, 1988.