@article{HemelGKV-JSC-2010,
  title = {Static Consistency Checking of Web Applications with {WebDSL}},
  author = {Zef Hemel and Danny M. Groenewegen and Lennart C. L. Kats and Eelco Visser},
  year = {2010},
  journal = {Journal of Symbolic Computation},
}