Brabrand, C.; Møller, A.; Schwartzbach, M. I. Static Validation of Dynamically Generated HTML. BRICS 2001, 8.