1. Pockets of flexibility in workflow specification;Sadiq,2001
2. DECLARE: Full support for loosely-structured processes;Pesic,2007
3. Declarative event-based workflow as distributed Dynamic Condition Response Graphs;Hildebrandt,2010
4. Declarative specification and verification of service choreographies;Montali;ACM Trans. Web,2010
5. Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach;Montali,2010