Formal methods for verification of websites macrostructure integrity. - Mikhail R. Kogalovsky; E. N. Efimova; T. A. Rybina; V. B. Brakhin (Program. Comput. Softw., 2000)