The Dexter Hypertext Reference Model in Object-Z (1995)

by J van Ossenbruggen, A Eliëns
Venue:Vrije Universiteit, Faculty of Mathematics and Computer Sciences, The