M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O.,
“A Fast Algebraic Web Verification Service”,
Web Reasoning and Rule Systems, 1st International Conference, RR 2007, vol. 4524. Springer, 2007.
S. Flores, Lucas, S., and Villanueva, A.,
“Formal Verification of Websites”,
Proceedings of the 16th International Workshop on Automated Specification and Verification of Web Sites (WWV'07). San Servolo, Venice, Italy, pp. 83–97, 2007.
D. Ballis, Baruzzo, A., and Comini, M.,
“A rule-based method to match Software Patterns against UML Models”,
The 8th International Workshop on Rule-Based Programming (RULE '07). Elsevier Science Publishers, North Holland, pp. 239–248, 2007.