Modelling static and dynamic aspects of hypermedia systems | IEEE Conference Publication | IEEE Xplore