HYPER‐LIB: A FORMAL MODEL FOR AN ELECTRONIC LIBRARY BASED ON HYPER‐BOOKS | Publicación