Sören Blom Matthias Book Volker Gruhn Executable Semantics of Recursively Nestable Dialog Flow Specifications for Web Applications. 135-147 2008 ICWE http://dx.doi.org/10.1109/ICWE.2008.25 conf/icwe/2008 db/conf/icwe/icwe2008.html#BlomBG08