1. Comparing workflow specification languages
2. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali and P. Torroni, Expressing and verifying business contracts with abductive logic programming, in: Normative Multi-Agent Systems, 18.03–23.03.2007, G. Boella, L.W.N. van der Torre and H. Verhagen, eds, Dagstuhl Seminar Proceedings, Vol. 07122, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007, http://drops.dagstuhl.de/opus/volltexte/2007/901.
3. Compositional specification of commercial contracts;Andersen;International Journal on Software Tools for Technology Transfer,2006
4. Modeling Bitcoin Contracts by Timed Automata
5. Planning with Transaction Logic