A Formal Approach to Hypertext using Post-Prototype Formal Specification.

Danny B. Lange A Formal Approach to Hypertext using Post-Prototype Formal Specification. 99-121 1990 conf/fm/1990 VDM Europe db/conf/fm/vdme1990.html#Lange90 http://dx.doi.org/10.1007/3-540-52513-0_6