Giorgio Busatto Pieter Jan't Hoen A Graph-Grammar Based Approach to the Specification of Hypermedia Application Dynamics. 403-410 2000 ICALP Satellite Workshops db/conf/icalp/icalpw2000.html#BusattoH00