1. Arnold A (2002) Nivat’s processes and their synchronization. Theor Comput Sci 281:31–36
2. Azzopardi S (2014) Extending contract automata with reparation, hypothetical and conditional clauses. Technical report University of Malta
3. Azzopardi S, Pace GJ, Schapachnik F (2014) Contract automata with reparations. In: Legal knowledge and information systems—JURIX 2014: the twenty-seventh annual conference, Jagiellonian University, Krakow, Poland, 10–12 December 2014, Frontiers in artificial intelligence and applications, vol 271, pp 49–54. IOS Press
4. Basile D, Degano P, Ferrari GL (2014) Automata for analysing service contracts. In: Trustworthy global computing—9th international symposium, TGC 2014, Rome, Italy, 5–6 Sept, 2014. Revised Selected Papers, Lecture notes in computer science, vol 8902, pp 34–50. Springer
5. Bench-Capon TJM (2014) Analysing norms with transition systems. In: Legal knowledge and information systems—JURIX 2014: the twenty-seventh annual conference, Jagiellonian University, Krakow, Poland, 10–12 Dec 2014, Frontiers in artificial intelligence and applications, vol 271, pp 29–38. IOS Press