L. Kovacs, R. Pugliese, J. Silva, F. Tiezzi:
"Editorial to the Special issue on Automated Specification and Verification of Web Systems";
Journal of Logic and Algebraic Programming, 82 (2013), 8; 241 - 242.
http://dx.doi.org/10.1016/j.jlap.2013.05.007