C. Brabrand, A. Møller, and M. I. Schwartzbach, “Static Validation of Dynamically Generated HTML”, BRICS, vol. 8, no. 9, Feb. 2001.