C. Kirkegaard og A. Møller, “Static Analysis for Java Servlets and JSP”, BRICS, bd. 13, nr. 10, jun. 2006.