Zuohua Ding Mingyue Jiang Geguang Pu Jeff W. Sanders Modelling and Verification of Web Navigation. 181-188 2009 ICWE http://dx.doi.org/10.1007/978-3-642-02818-2_13 conf/icwe/2009 db/conf/icwe/icwe2009.html#DingJPS09