1. F. Afrati and C. Koutras. A hypertext model supporting query mechanisms. In Hypertext: Concepts, Systems and Applications. Proceedings of the European Conference on Hypertext, pages 52–66, 1990.
2. R. Akscyn, D. McCracken, and E. Yoder. KMS: A distributed hypertext for managing knowledge in organizations. Communications of the ACM, 31(7), July 1988.
3. B. Campell and J. Goodman. HAM: A General Purpose Hypertext Abstract Machine. Communications of the ACM, 31(7):856–861, 1988.
4. C. Cohen, M. d'Inverno, and M. Priestley. Z Specification of HyperCard. Technical report, Software Engineering Division, University of Westminster, 1995.
5. C. Cohen, M. d'Inverno, and M. Priestley. Z Specification of the World Wide Web. Technical report, Software Engineering Division, University of Westminster, 1995.