Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems.

Mark d'Inverno Mark Priestley Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. 83-102 1995 conf/zum/1995 ZUM db/conf/zum/zum1995.html#dInvernoP95