1. Lecture Notes in Computer Science;P. Atzeni,1998
2. Brambilla, M., Ceri, S., Comai, S., Fraternali, P., Manolescu, I.: Specification and design of workflow-driven hypertexts. Journal of Web Engineering 1(1) (2002)
3. Business Process Management Language (BPML) and Notation (BPMN), http://www.bpmi.org
4. Ceri, S., Fraternali, P., Bongio, A., Brambilla, M., Comai, S., Matera, M.: Designing Data- Intensive Web Applications, December 2002. Morgan-Kaufmann, San Francisco (2002)
5. Chechik, M., Devereux, B., Easterbrook, S., Gurfinkel, A.: Multi-valued symbolic modelchecking. ACM TOSEM 12(4), 371–408 (2003)