Kovács, Laura and Pugliese, Rosario and Tiezzi, Francesco  Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011).    EPTCS.       (2011)