L. Kovacs, T. Kutsia (ed.): "Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems (WWV´10)"; Eigenverlag, TU Wien, 2010, 83 pages.
http://publik.tuwien.ac.at/files/PubDat_194799.pdf