author : Mark Priestley

Short works

• Structuring specification in Z to build a unifying framework for hypertext systems. 1995. (In ZUM '95 )