Philippa Gardner Gareth Smith Mark J. Wheelhouse Uri Zarfaty DOM: Towards a Formal Specification. 2008 conf/planX/2008 PLAN-X http://gemo.futurs.inria.fr/events/PLANX2008//papers/p18.pdf db/conf/planx/planX2008.html#GardnerSWZ08