Yuri Quintana, Mohamed S. Kamel, Rob McGeachy. Formal methods for evaluating information retrieval in hypertext systems. In Paul Beam, editor, Proceedings of the 11th Annual International Conference on Systems Documentation, SIGDOC 1993, Waterloo, Ontario, Canada, October 5-8, 1993. pages 259-272, ACM, 1993. [doi]
Abstract is missing.